Autor der Publikation

A finite representation of all substitutable services and its applications.

, , und . ZEUS, Volume 438 von CEUR Workshop Proceedings, Seite 29-34. CEUR-WS.org, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Generating Petri Net State Spaces.. ICATPN, Volume 4546 von Lecture Notes in Computer Science, Seite 29-42. Springer, (2007)Petri Net Model Checking with LoLA 2.. Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 351-362. Springer, (2018)New Algorithms for Deciding the Siphon-Trap Property., , und . Petri Nets, Volume 6128 von Lecture Notes in Computer Science, Seite 267-286. Springer, (2010)A theory of service behavior.. ZEUS, Volume 438 von CEUR Workshop Proceedings, Seite 1-7. CEUR-WS.org, (2009)LoLA as Abstract Planning Engine of PlanICS., und . PNSE @ Petri Nets, Volume 1160 von CEUR Workshop Proceedings, Seite 349-350. CEUR-WS.org, (2014)Decidability Issues for Decentralized Controllability of Open Nets.. AWPN, Volume 643 von CEUR Workshop Proceedings, Seite 124-129. CEUR-WS.org, (2010)Skeleton Abstraction for Universal Temporal Properties., und . Petri Nets, Volume 12734 von Lecture Notes in Computer Science, Seite 186-207. Springer, (2021)Model Checking Concurrency and Causality.. Petri Nets, Volume 10258 von Lecture Notes in Computer Science, Seite 159-178. Springer, (2017)Using Approximation for the Verification of Token-Scaling Models., und . Trans. Petri Nets Other Model. Concurr., (2022)An efficient necessary condition for compatibility., und . ZEUS, Volume 438 von CEUR Workshop Proceedings, Seite 81-87. CEUR-WS.org, (2009)