Abstract
The aim of this work is to deepen into the structure theory of Place/Transition net systems. In particular, it considers well-formedness (i.e. structural liveness and boundedness) of Equal Conflict net systems, a class which generalises the well-known (Extended) Free, Choice allowing weights but keeping the total autonomy of conflicts. This contribution, together with [18, 19, 20, 21], shows that many results that were known for some subclassses of ordinary Petri nets can be extended to non ordinary nets. For this purpose, some important classical concepts are re-defined, namely components and allocatability.
Author supplied keywords
Cite
CITATION STYLE
Teruel, E., & Silva, M. (1994). Well-formedness of equal conflict systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 815 LNCS, pp. 492–510). Springer Verlag. https://doi.org/10.1007/3-540-58152-9_27
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
