Author of the publication

Modeling, validation and software implementation of production systems using high level Petri nets.

, , and . ICRA, page 1180-1185. IEEE, (1987)

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

Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets., , and . IEEE Trans. Automat. Contr., 51 (9): 1472-1481 (2006)Marking homothetic monotonicity and fluidization of untimed Petri nets., , and . WODES, page 21-27. International Federation of Automatic Control, (2012)Timing-dependent boundedness and liveness in continuous Petri nets., and . WODES, page 7-14. International Federation of Automatic Control, (2010)On the Computational Power of Timed Differentiable Petri Nets., , and . FORMATS, volume 4202 of Lecture Notes in Computer Science, page 230-244. Springer, (2006)Unforced Continuous Petri Nets and Positive Systems., and . POSTA, volume 294 of Lecture Notes in Control and Information Sciences, page 55-62. Springer, (2003)Forrester diagrams and continuous Petri nets: a comparative view., , and . ETFA (2), page 85-94. IEEE, (2001)0-7803-7241-7.Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models., and . IEEE Trans. Syst. Man Cybern. Part A, 42 (3): 641-653 (2012)An Automated Framework for Formal Verification of Timed Continuous Petri Nets., , , and . IEEE Trans. Ind. Informatics, 6 (3): 460-471 (2010)Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows., and . Applications and Theory of Petri Nets, volume 483 of Lecture Notes in Computer Science, page 79-112. Springer, (1989)Circuits, handles, bridges and nets., and . Applications and Theory of Petri Nets, volume 483 of Lecture Notes in Computer Science, page 210-242. Springer, (1989)