Properties of Distributed Timed-Arc Petri Nets - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Mogens Nielsen, Vladimiro Sassone, Jirí Srba. Properties of Distributed Timed-Arc Petri Nets. In Ramesh Hariharan, Madhavan Mukund, V. Vinay, editors, FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings. Volume 2245 of Lecture Notes in Computer Science, pages 280-291, Springer, 2001. [doi]

The following publications are possibly variants of this publication:

Verification of Liveness Properties on Closed Timed-Arc Petri NetsMathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist. memics 2013: 69-81 [doi]

Verification of Timed-Arc Petri NetsLasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba. sofsem 2011: 46-72 [doi]

runs on WebDSL