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]
Abstract is missing.