Petri nets for modeling of dynamic systems: A survey

  title={Petri nets for modeling of dynamic systems: A survey},
  author={Ren{\'e} David and Hassane Alla},
Abslrad--Petri nets enable a discrete event system of any kind whatsoever to be modeled. They present two interesting characteristics. Firstly they make it possible to model and visualize behaviors comprising concurrency, synchronization and resource sharing. Secondly the theoretical results concerning them are plentiful. The aim of this paper is to present the basic concept relative to Petri nets and the various classes of derived models which can be used for dynamic system modeling. The tool… CONTINUE READING
Highly Influential
This paper has highly influenced 19 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 351 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 207 extracted citations

351 Citations

Citations per Year
Semantic Scholar estimates that this publication has 351 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 45 references

Kommunikation mit Automaten, Schriften des Rheinisch Westfalischen Inst

  • C. A. Petri
  • fur lntrumentelle Mathematik and der Universitiit…
  • 1962
Highly Influential
3 Excerpts

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems

  • M. C. Zhou, F. DiCesare
  • Kluwer Ac, Boston, MA.
  • 1993
1 Excerpt

Modrlisation par rrseaux de Petri hybrides et evaluation de performances de syst~mes de production par lots

  • H. Alia, J. B. Cavaillr, J. Le Bail, G. Bel
  • Rapport final de contrat MRT, LAG n ° 92-06…
  • 1992
1 Excerpt

A unified modeling of kanban systems using Petri nets

  • M. Di Mascolo, Y. Frein, Y. Dallery, R. David
  • Int. J. Flexible Manufac. Syst., 3, 275-307.
  • 1991

Hybrid Petri nets

  • J. Le Bail, H. Alia, R. David
  • 1st European Control Conf., Grenoble, pp. 1472…
  • 1991

Modeling of dynamic systems by Petri nets

  • R. David
  • 1st European Control Conf., Grenoble, pp. 136-147…
  • 1991
2 Excerpts

V6rifier et 6valuer un syst~:me avec EVAL

  • Verilog
  • Verilog SA, Toulouse.
  • 1991
2 Excerpts

Similar Papers

Loading similar papers…