{'fraction_non_alphanumeric': 0.021134593993325918, 'fraction_numerical': 0.0011123470522803114, 'mean_word_length': 4.113636363636363, '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}}
ON A WAY TO ALGEBRA OF PETRI NETS : Algebra of PN Terms

The present work is devoted to the study of a process algebra oriented towards processes in Place/Transition Nets (PTN in short). The processes are described by special kind of terms, termed here as PN terms. Since the time we have been dealing with Petri Nets some of the myths have survive. One of the myth is that Petri Nets are not very well suited for to be treated in de/compositional way [4]. Another myth is connected with an absence of non interleaved semantics of Petri Nets. Our treatment of Petri Nets in this work is aimed at disproving the myths. In the paper we introduce syntax and semantics of PN terms; we define the semantics by PT nets, and based on that two equivalence relations are defined on PN terms. The latter make a provision to validate some algebraic laws to hold on PN terms. Finally the algebra APT is defined.