On the analysis of Petri nets with static priorities

  title={On the analysis of Petri nets with static priorities},
  author={Falko Bause},
  journal={Acta Informatica},
Priority specifications offer a convenient description technique to resolve conflicts in favour of particular actions. Apart from being employed for the specification of the functional behaviour of a system, priorities have also become important in the field of performance analysis using stochastic Petri nets. Here they are implicitly given due to the separation of transitions into immediate and timed. In the performance analysis of such stochastic Petri nets specific properties, like liveness… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS


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


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

Priorities, inhibitor arcs, and concurrency in P/T nets

  • G. Chiola, S. Donatelli, G. Franceschinis
  • In Proceedings of the 12th International…
  • 1991
Highly Influential
4 Excerpts

Introduction to the numerical solution of Markov chains

  • W. J. Stewart
  • Princeton University Press,
  • 1994
1 Excerpt

Similar Papers

Loading similar papers…