Characterization of Reachable Attractors Using Petri Net Unfoldings - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon. Characterization of Reachable Attractors Using Petri Net Unfoldings. In Pedro Mendes, Joseph O. Dada, Kieran Smallbone, editors, Computational Methods in Systems Biology - 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings. Volume 8859 of Lecture Notes in Computer Science, pages 129-142, Springer, 2014. [doi]

The following publications are possibly variants of this publication:

Diagnosis with Petri Net UnfoldingsStefan Haar, Eric Fabre. In Carla Seatzu, Manuel Silva 0001, Jan H. van Schuppen, editors, Control of Discrete-Event Systems. Volume 433 of Lecture Notes in Control and Information Sciences, pages 301-317, Springer, 2013. [doi]

Partial order diagnosability of discrete event systems using petri net unfoldingsStefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. cdc 2003: 3748-3753 [doi]

An Improved Construction of Petri Net UnfoldingsCésar Rodríguez, Stefan Schwoon. fsfma 2013: 47-52 [doi]

runs on WebDSL