For the most recent entries see the Petri Nets Newsletter.

State-space size estimation of Petri nets - a bottom-up perspective.

Watson, J.F.; Desrochers, A.A.

In: IEEE Trans. on Robotics and Automation, Vol. 10, No. 4, pages 555-561. 1994.

Abstract: Petri nets are a popular system modeling methodology, although the typical state-space explosion is problematic. An estimate of the state-space size has many uses: determining the appropriateness of a particular analysis technique; evaluating the trade-off between model detail and solution complexity; and providing data for state-space size reduction algorithms. This paper presents an estimation algorithm based on subnets and interconnections (i.e., a bottom-up approach). The algorithm allows relatively arbitrary subnets and is extendable via development of additional interconnections. Several subnets and interconnections are developed, and a multi-workcell manufacturing example is presented.

Keywords: Petri nets, state-space size estimation.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography