Autor der Publikation

Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons

, und . Journal of Intelligent Manufacturing, 21 (4): 555--567 (Januar 2010)
DOI: 10.1007/s10845-009-0238-1

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

Liveness of an extended S3PR, , und . Automatica, 46 (6): 1008--1018 (21.06.2010)A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models, und . Engineering with Computers, 25 (3): 269--278 (01.09.2009)Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons, und . Journal of Intelligent Manufacturing, 21 (4): 555--567 (Januar 2010)An Effective FMS Deadlock Prevention Policy based on Elementary Siphons., und . ICRA, Seite 3143-3148. IEEE, (2004)Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller., , und . SMC, Seite 1825-1830. IEEE, (2019)Multiple Attacks Detection on Discrete Event Systems., , , und . SMC, Seite 2352-2357. IEEE, (2019)Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification., , , und . SMC, Seite 2364-2371. IEEE, (2019)Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems., , und . SMC, Seite 1948-1953. IEEE, (2008)Some results and open problems concerning elementary siphons of Petri nets., und . SMC (2), Seite 1717-1722. IEEE, (2004)An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control., , und . SMC (5), Seite 4849-4854. IEEE, (2004)