Autor der Publikation

Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning

, , , und . 2015 54th IEEE Conference on Decision and Control (CDC), Seite 356--361. IEEE, (Dezember 2015)
DOI: 10.1109/cdc.2015.7402226

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

A three-stage deadlock prevention strategy for S3PR nets., , und . CASE, Seite 286-291. IEEE, (2015)A method of computing strict minimal siphons in an S3PR based on resource circuits., , und . CDC, Seite 2785-2790. IEEE, (2010)A Deadlock Prevention Policy for a Class of Multithreaded Software., , , , , , und . IEEE Access, (2020)Liveness Enforcement for a Class of Petri Nets via Resource Allocation., , , , , und . SMC, Seite 4369-4374. IEEE, (2018)Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation., , und . SMC, Seite 826-831. IEEE, (2011)A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions., , und . ICRA, Seite 3745-3750. IEEE, (2011)Synthesis of Petri net controller based local incidence matrix., und . SMC (2), Seite 1758-1763. IEEE, (2004)Synthesis of Petri net controller to enforce conjunction of GMEC using observer., , und . SMC (2), Seite 1752-1757. IEEE, (2004)An iterative Deadlock Prevention Policy Based on siphons., , , , und . ICNSC, Seite 242-246. IEEE, (2019)An Efficient Liveness Analysis Method for Petri Nets via Maximally Good-Step Graphs., , , und . IEEE Trans. Syst. Man Cybern. Syst., 54 (7): 3908-3919 (Juli 2024)