For the most recent entries see the Petri Nets Newsletter.

Combining Structural Properties and Symbolic Representation for Efficient Analysis of Petri Nets.

Spranger, J.

In: Workshop on Concurrency, Specifiction & Programming (CSP '98), Berlin, September 1998, pages 236-244. 1998. ISSN 0863-095.

Abstract: In this paper we combine structural analysis of Petri nets with the symbolic representation of state spaces by Binary Decision Diagrams (BDDs). The size of a BDD is determined by the number of its variables and by their order. We suggest two methods based on structural properties (precisely one-token-P-invariants) which improve the encoding of states. One method attempts to derive a good variable order. The other tries to reduce the needed number of variables by compacting the encoding of states.

Keywords: safe Petri nets, Binary Decision Diagrams, structural properties, one-token-P-invariants, variable orders, dense encoding.


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

Back to the Petri Nets Bibliography