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

Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems., , and . Petri Nets, volume 1491 of Lecture Notes in Computer Science, page 309-373. Springer, (1996)Modeling, validation and software implementation of production systems using high level Petri nets., , and . ICRA, page 1180-1185. IEEE, (1987)An Automated Framework for Formal Verification of Timed Continuous Petri Nets., , , and . IEEE Trans. Ind. Informatics, 6 (3): 460-471 (2010)Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models., and . IEEE Trans. Syst. Man Cybern. Part A, 42 (3): 641-653 (2012)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)Petri nets and flexible manufacturing., and . European Workshop on Applications and Theory in Petri Nets, volume 424 of Lecture Notes in Computer Science, page 374-417. Springer, (1988)Improving the linearly based characterization of P/T nets., and . Applications and Theory of Petri Nets, volume 483 of Lecture Notes in Computer Science, page 113-145. Springer, (1989)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)