( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient state-based analysis by introducing bags in Petri nets color domains.

, , , , и . ACC, стр. 5018-5025. IEEE, (2009)

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.

Ulrich Kordon

Anja Kordon

Michael Kordon

Günter Kordon

Andreas Kordon

 

Другие публикации лиц с тем же именем

Design, modeling and analysis of ITS using UML and Petri Nets., , , и . ITSC, стр. 314-319. IEEE, (2007)A Model Based Development Approach for Distributed Embedded Systems., , и . RISSEF, том 2941 из Lecture Notes in Computer Science, стр. 137-151. Springer, (2002)Hierarchical Set Decision Diagrams and Automatic Saturation., , и . Petri Nets, том 5062 из Lecture Notes in Computer Science, стр. 211-230. Springer, (2008)MetaScribe, an Ada-based Tool for the Construction of Transformation Engines.. Ada-Europe, том 1622 из Lecture Notes in Computer Science, стр. 308-319. Springer, (1999)Experiences in Model Driven Verification of Behavior with UML., и . Monterey Workshop, том 6028 из Lecture Notes in Computer Science, стр. 181-200. Springer, (2008)Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach., , , и . Monterey Workshop, том 7539 из Lecture Notes in Computer Science, стр. 330-352. Springer, (2012)Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System., , , и . FAABS, том 1871 из Lecture Notes in Computer Science, стр. 123-132. Springer, (2000)Efficient state-based analysis by introducing bags in Petri nets color domains., , , , и . ACC, стр. 5018-5025. IEEE, (2009)Have You Found the Error? A Formal Framework for Learning Game Verification., , , , и . EC-TEL, том 8719 из Lecture Notes in Computer Science, стр. 476-481. Springer, (2014)On the Formal Verification of Middleware Behavioral Properties., , , , , и . FMICS, том 133 из Electronic Notes in Theoretical Computer Science, стр. 139-157. Elsevier, (2004)