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

@inproceedings{Ciardo1994PetriNW,
  title={Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis},
  author={Gianfranco Ciardo},
  booktitle={Application and Theory of Petri Nets},
  year={1994}
}
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 95 citations. REVIEW CITATIONS
58 Citations
27 References
Similar Papers

Citations

Publications citing this paper.

95 Citations

0510'96'01'07'13
Citations per Year
Semantic Scholar estimates that this publication has 95 citations based on the available data.

See our FAQ for additional information.

References

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…