( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Szenarios: Lokale Kriterien für globale Korrektheit.

, и . FBT, стр. 113-122. Herbert Utz Verlag, (1999)

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.

Ekkart Kindler

Ekkart Knorr

Ekkart Lenz

Ekkart Rudolph

Ekkart Genée

 

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

Invariants, Composition, and Substitution.. Acta Informatica, 32 (4): 299-312 (1995)Modelling Constructs.. Handbook of Research on Business Process Modeling, IGI Global, (2009)Verification of Distributed Algorithms with Algebraic Petri Nets., и . Foundations of Computer Science: Potential - Theory - Cognition, том 1337 из Lecture Notes in Computer Science, стр. 261-270. Springer, (1997)Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification., , и . PNSE @ Petri Nets, том 1372 из CEUR Workshop Proceedings, стр. 79-98. CEUR-WS.org, (2015)The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse., и . BM-FA (Revised Selected Papers), том 6368 из Lecture Notes in Computer Science, стр. 133-164. Springer, (2014)The ePNK: An Extensible Petri Net Tool for PNML.. Petri Nets, том 6709 из Lecture Notes in Computer Science, стр. 318-327. Springer, (2011)A Compositional Partial Order Semantics for Petri Net Components.. ICATPN, том 1248 из Lecture Notes in Computer Science, стр. 235-252. Springer, (1997)Modelling Local and Global Behaviour: Petri Nets and Event Coordination.. Trans. Petri Nets Other Model. Concurr., (2012)Process mining: a two-step approach to balance between underfitting and overfitting., , , , , и . Softw. Syst. Model., 9 (1): 87-111 (2010)DAWN for component based systems - just a different perspective.. Promise, том P-21 из LNI, стр. 7-13. GI, (2002)