Author of the publication

A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems.

, , , and . ICRA, page 271-277. IEEE, (2005)

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

Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals., , and . Decentralized and Distributed Systems, volume A-39 of IFIP Transactions, page 213-224. North-Holland, (1993)Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources., , and . IEEE Trans. Automat. Contr., 45 (9): 1760-1761 (2000)A model-based approach for the specification and verification of clinical guidelines., , , and . ETFA, page 1-8. IEEE, (2014)Model checking software for phylogenetic trees using distribution and database methods., and . J. Integr. Bioinform., (2013)Synthesis of asynchronous controllers using integer linear programming., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (9): 1637-1651 (2006)Petri net approach for deadlock prevention in robot planning., , and . ETFA, page 1-4. IEEE, (2013)On Weighted T-Systems., , , and . Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, page 348-367. Springer, (1992)Towards an Architecture Proposal for Federation of Distributed DES Simulators., , and . GECON, volume 11819 of Lecture Notes in Computer Science, page 97-110. Springer, (2019)Enforcing Liveness in S3PR Nets by Specialization of Resources., and . ICORES, page 318-321. SciTePress, (2013)On the Computation of Structural Synchronic Invariants in P/T Nets., and . European Workshop on Applications and Theory of Petri Nets, volume 340 of Lecture Notes in Computer Science, page 386-417. Springer, (1987)