Autor der Publikation

A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition.

, , und . SOSE, IEEE, (2019)

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

Possibilistic WorkFlow Nets for Dealing with Cancellation Regions in Business Processes., , und . ICEIS (2), Seite 126-133. SciTePress, (2016)Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures., , und . ICEIS (1), Seite 432-439. SciTePress, (2014)Modeling and analysis of video games based on workflow nets and state graphs., und . CASCON, Seite 106-119. IBM / ACM, (2014)A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition., , und . SOSE, IEEE, (2019)Game modeling using WorkFlow nets., , und . SMC, Seite 838-843. IEEE, (2011)Scheduling batch systems using a token player algorithm., , und . SMC, Seite 487-492. IEEE, (1998)A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools., und . SBES, Seite 114-119. ACM, (2020)Software Architecture for the Real Time Scheduling of Workflow Management Systems based on a Petri net model., und . SBES, Seite 1-16. SBC, (2006)Siphon-based deadlock prevention policy for interorganizational WorkFlow net design., , , und . IRI, Seite 293-300. IEEE Computer Society, (2013)Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net., , und . SCCC, Seite 41-50. IEEE Computer Society, (2012)