Petri Nets for Systems Engineering

  title={Petri Nets for Systems Engineering},
  author={Claude Girault and R{\"u}diger Valk},
  booktitle={Springer Berlin Heidelberg},
ion, however, has a meaningful interpretation. To give an example, consider the fragment of a net in Figure 2.13a. Intuitively the abstraction in 2.4 Refinement and Composition 21 Figure 2.13d has a corresponding behaviour ("a token is passed through"). Figure 2.13d is also an abstraction of Figure 2.13b, but now the behaviour is different. In Figure 2.13d a token can pass, but not so in Figure 2.13b. Note that the set Y to be abstracted is not necessarily connected as a subgraph. However… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 244 citations. REVIEW CITATIONS


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

244 Citations

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

See our FAQ for additional information.


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

Prod reference manual

  • K. Varpaaniemi, J. Halme, K. Hiekkanen, T. Pyssysalo
  • Technical Report B 13, Helsinki University of…
  • 1995
Highly Influential
4 Excerpts

Linear analysis of deadlock-freeness of Petri net models

  • E. Teruel, J. M. Colom, M. Silva
  • Proceedings of the European Control Conference…
  • 1993
Highly Influential
5 Excerpts

Technical Report FBI-HH-B-266/00

  • R. Valko Relating different semantics for object Petr nets
  • Fachbereich Informatik, Universitiit Hamburg,
  • 2000

A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming

  • F. Tricas, J. M. Colom, J. Ezpeleta
  • 11th European Simulation Symposium and Exhibition…
  • 1999

Similar Papers

Loading similar papers…