For the most recent entries see the Petri Nets Newsletter.

Parameterized Reachability Trees for Algebraic Petri Nets.

Schmidt, K.

In: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995., pages 392-411. 1995.

Abstract: Parameterized reachability trees have been proposed by M. Lindquist for predicate/transition nets. We discuss the application of this concept to algebraic nets. For this purpose a modification of several definitions is necessary due to the different net descriptions, transition rules and theoretical backgrounds. That's why we present the concept from the bottom for algebraic nets. Furthermore we discuss the combination of parameterized reachability analysis with the well known stubborn set method.


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

Back to the Petri Nets Bibliography