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

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)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)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)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)Petri net approach for deadlock prevention in robot planning., , and . ETFA, page 1-4. IEEE, (2013)"Predictive maintenance surveyor" design pattern for machine tools control software applications., , , , and . ETFA, page 1-7. IEEE, (2011)COSME: A distributed control platform for communicating machine tools in Agile Manufacturing Systems., , , , and . ETFA, page 1-8. IEEE, (2011)