For the most recent entries see the Petri Nets Newsletter.

Well-formedness of Equal Conflict Systems.

Teruel, E.; Silva, M.

In: Valette, R.: Lecture Notes in Computer Science, Vol. 815; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain, pages 491-510. Springer-Verlag, 1994.

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 other works, shows that many results that were known for some subclasses of ordinary Petri nets can be extended to non ordinary nets. For this purpose, some important classical concepts are re-defined, namely compnents and allocatability


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography