( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Activity Mining for Discovering Software Process Models.

, , и . Software Engineering, том 79 из LNI, стр. 175-180. GI, (2006)

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)Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification., , и . PNSE @ Petri Nets, том 1372 из CEUR Workshop Proceedings, стр. 79-98. CEUR-WS.org, (2015)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)Szenarios: Lokale Kriterien für globale Korrektheit., и . FBT, стр. 113-122. Herbert Utz Verlag, (1999)The Interplay of Transaction Models and Memory Models.. IADT, стр. 39-46. Society for Design and Process Science, 1302 West 25th Street, Suite 300, Austin, TX 78705-4236, USA, (1998)On the semantics of EPCs: A framework for resolving the vicious circle.. EPK, стр. 7-18. GI-Arbeitskreis Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, (2003)ePNK Applications and Annotations: A Simulator for YAWL Nets.. Petri Nets, том 10877 из Lecture Notes in Computer Science, стр. 339-350. Springer, (2018)Serializability, Concurrency Control, and Replication Control.. FMLDO - Selected Papers, том 1773 из Lecture Notes in Computer Science, стр. 26-44. Springer, (1999)Message passing mutex., и . STRICT, стр. 205-219. Springer, (1995)Mutex Needs Fairness., и . Inf. Process. Lett., 62 (1): 31-39 (1997)