Author of the publication

On the computation of the minimal siphons of S4PR nets from a generating family of siphons.

, , and . ETFA, page 1-8. IEEE, (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

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)Analysis tools applied to VHDL., and . Microprocess. Microprogramming, 38 (1-5): 597-604 (1993)A Petri net based deadlock prevention policy for flexible manufacturing systems., , and . IEEE Trans. Robotics Autom., 11 (2): 173-184 (1995)Model checking software for phylogenetic trees using distribution and database methods., and . J. Integr. Bioinform., (2013)A model-based approach for the specification and verification of clinical guidelines., , , and . ETFA, page 1-8. IEEE, (2014)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)Synthesis of asynchronous controllers using integer linear programming., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (9): 1637-1651 (2006)Model-driven development of data intensive applications over cloud resources., , and . CoRR, (2024)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)On Weighted T-Systems., , , and . Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, page 348-367. Springer, (1992)