Keyword: net unfolding

• Esparza, J.; Heljanko, K.:
  A new unfolding approach to LTL model checking. 2000.

• Hwang, C.-H.; Lee, D.-I.:
  A concurrency characteristic on Petri net unfolding. 1998.

• Vogler, W.; Semenov, A.; Yakovlev, A.:
  Unfolding and finite prefix for nets with read arcs. 1998.

• Miyamoto, T.; Kumagai, S.:
  A graph theoretic approach to reachability problem with Petri net unfoldings. 1996.

• Maggiolo-Schettini, A.; Pinna, G.M.; Winkowski, J.:
  A Compositional Semantics for Unmarked Predicate/Transition Nets. 1991.

• Engelfriet, Joost:
  Branching Processes of Petri Nets. 1990.

Back to the Petri Nets Bibliography