{'fraction_non_alphanumeric': 0.02772963604852686, 'fraction_numerical': 0.0, 'mean_word_length': 5.351648351648351, '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}}
Process modelling in information systems by formal nets

We propose formal nets as a new processing model for information systems, allowing process abstraction, dynamic behavior and graphic representation. The main concepts lead to Petri nets, formal languages (Z) and constraint programming. Constraints arise in three levels: on places, on markings, and on transitions. A pedagogical example, the jugs problem, first introduces the basic notions, that are further formally defined by Z schemes. A complete specification of the IFIP case with formal nets is finally described.