Author of the publication

On the Importance of the Deadlock Trap Property for Monotonic Liveness.

, , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 23-38. CEUR-WS.org, (2010)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Automated Framework for Formal Verification of Timed Continuous Petri Nets., , , and . IEEE Trans. Industrial Informatics, 6 (3): 460-471 (2010)State Estimation of Petri Nets by Transformation., , , , , and . CASE, page 194-199. IEEE, (2007)A probabilistic abstraction approach for planning and controlling mobile robots., , and . ETFA, page 1-8. IEEE, (2011)New results for fault detection of untimed continuous Petri nets., , , and . CDC, page 6952-6957. IEEE, (2009)An Automated Framework for Formal Verification of Timed Continuous Petri Nets., , , and . IEEE Trans. Industrial Informatics, 6 (3): 460-471 (2010)Collision avoidance of mobile robots by using initial time delays., , , and . CDC, page 324-329. IEEE, (2015)Path-planning in Discretized Environments with Optimized Waypoints Computation., , and . ETFA, page 729-735. IEEE, (2018)Accomplish multi-robot tasks via Petri net models., and . CASE, page 304-309. IEEE, (2015)Modular Petri net modeling of the Spanish health system., , and . ETFA, page 1-8. IEEE, (2012)Optimal Model Predictive Control of Timed Continuous Petri Nets., , , , and . IEEE Trans. Automat. Contr., 53 (7): 1731-1735 (2008)