Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis

  title={Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis},
  author={Gianfranco Ciardo},
  booktitle={Application and Theory of Petri Nets},
We discuss P/T-nets where the arc cardinalities are allowed to be marking-dependent expressions of various types, resulting in a hierarchy of subclasses. Some of the language and decidability properties of these classes have been studied before, but we focus on the practical implications in systems modeling, adding some new insight to the known results about the relative expressive power of the subclasses. We show how the p-semiflows of a P/T-net with marking-dependent arc cardinality can be… CONTINUE READING
Highly Cited
This paper has 96 citations. REVIEW CITATIONS
58 Extracted Citations
27 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

97 Citations

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

See our FAQ for additional information.

Referenced Papers

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

Petri Net Theory and the Modeling of Systems

  • J. L. Peterson
  • Prentice-Hall,
  • 1981
Highly Influential
6 Excerpts

Automated generation and analysis of Markov reward models using Stochastic Reward Nets

  • G. Ciardo, A. Blakemore, P.F.J. Chimento, J. K. Muppala, K. S. Trivedi
  • In C. Meyer and R. J. Plemmons, editors, Linear…
  • 1993
1 Excerpt

Ciardo and K . S . Trivedi . A decomposition approach for stochastic reward net models

  • R. German Ciardo
  • Perf . Eval .
  • 1993

Similar Papers

Loading similar papers…