( en | de | ru )

 

Disambiguation of "Kordon, Fabrice"

Author of the publication

copydeleteadd this publication to your clipboard
Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools.

, and . Petri Nets, volume 10258 of Lecture Notes in Computer Science, page 125-135. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrich Kordon

Anja Kordon

Michael Kordon

Günter Kordon

Andreas Kordon

 

Other publications of authors with the same name

Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System., , , and . FAABS, volume 1871 of Lecture Notes in Computer Science, page 123-132. Springer, (2000)Design, modeling and analysis of ITS using UML and Petri Nets., , , and . ITSC, page 314-319. IEEE, (2007)Hierarchical Set Decision Diagrams and Automatic Saturation., , and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 211-230. Springer, (2008)MetaScribe, an Ada-based Tool for the Construction of Transformation Engines.. Ada-Europe, volume 1622 of Lecture Notes in Computer Science, page 308-319. Springer, (1999)Experiences in Model Driven Verification of Behavior with UML., and . Monterey Workshop, volume 6028 of Lecture Notes in Computer Science, page 181-200. Springer, (2008)Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach., , , and . Monterey Workshop, volume 7539 of Lecture Notes in Computer Science, page 330-352. Springer, (2012)A Model Based Development Approach for Distributed Embedded Systems., , and . RISSEF, volume 2941 of Lecture Notes in Computer Science, page 137-151. Springer, (2002)Model Checking Using Generalized Testing Automata., , and . Trans. Petri Nets Other Model. Concurr., (2012)Guest Editor's Introduction: Rapid System Prototyping.. IEEE Distributed Syst. Online, (2007)Efficient state-based analysis by introducing bags in Petri nets color domains., , , , and . ACC, page 5018-5025. IEEE, (2009)