For the most recent entries see the Petri Nets Newsletter.

Logical Reasoning and Petri Nets.

Lautenbach, Kurt

In: Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), Eindhoven, The Netherlands, June 23-27, 2003, pages 276-295. Volume 2679 of Lecture Notes in Computer Science / Wil M. P. van der Aalst and Eike Best (Eds.) --- Springer-Verlag, June 2003.

Abstract: The main result of the paper states that a set F of propositional-logic formulas is contradictory iff in all net representations of F the empty marking is reproducible.


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

Back to the Petri Nets Bibliography