Author of the publication

On the analysis and synthesis of free choice systems.

, and . Applications and Theory of Petri Nets, volume 483 of Lecture Notes in Computer Science, page 243-286. Springer, (1989)

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

Decolourisation of Stochastic Symmetric Nets with Bags., and . SMC, page 661-668. IEEE, (2010)From Healthcare System Specifications to Formal Models., , and . SMC, page 2344-2351. IEEE, (2019)A control method for timed distributed continuous Petri nets., , , and . ACC, page 2593-2600. IEEE, (2010)Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets., , , and . SMC (5), page 4897-4904. IEEE, (2004)Timing-dependent boundedness and liveness in continuous Petri nets., and . WODES, page 7-14. International Federation of Automatic Control, (2010)On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models., and . ADHS, volume 36 of IFAC Proceedings Volumes, page 1-12. Elsevier, (2003)On the analysis and synthesis of free choice systems., and . Applications and Theory of Petri Nets, volume 483 of Lecture Notes in Computer Science, page 243-286. Springer, (1989)A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net., and . Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, page 301-310. Springer, (1981)On Periodic Schedules for Deterministically Timed Petri Net Systems., , and . PNPM, page 210-215. IEEE Computer Society, (1991)The Apprentice Gaze - AR Experience on Serralves Museum., , , , and . ARTECH, page 93:1-93:4. ACM, (2019)