Author of the publication

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)Model checking software for phylogenetic trees using distribution and database methods., and . J. Integr. Bioinform., (2013)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)A model-based approach for the specification and verification of clinical guidelines., , , and . ETFA, page 1-8. IEEE, (2014)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)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)On Weighted T-Systems., , , and . Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, page 348-367. Springer, (1992)Petri net approach for deadlock prevention in robot planning., , and . ETFA, page 1-4. IEEE, (2013)