Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets

Leonid W. Dworzanski, Irina A. Lomazova. Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets. In Fabrice Kordon, Daniel Moldt, editors, Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, ToruĊ„, Poland, June 19-24, 2016. Proceedings. Volume 9698 of Lecture Notes in Computer Science, pages 325-344, Springer, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.