{'fraction_non_alphanumeric': 0.020676691729323307, 'fraction_numerical': 0.0, 'mean_word_length': 5.345238095238095, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Using of Petri nets techniques in information systems design

Petri nets can be applied to areas as diverse as software architecture, distributed system design, protocol verification, etc. This paper is dedicated to Petri net techniques using in the information system design process. The specification and verification of an information system in Petri net notation and its abilities and issues are described. Software life-cycle and validation, prototyping, and code generation are described. The application domain is also given.