Keyword: state space explosion

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged Processes - A New Condensed Representation of Petri Net Behaviour. 2005.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged Processes - A New Condensed Representation of Petri Net Behaviour. 2005.

• Miyamoto, T.; Nakano, S.; Kumagai, S.:
  An algorithm for Petri nets reachability by unfoldings. 1999.

• Hiraishi, K.:
  Efficient analysis of concurrent systems by Petri nets. 1998.

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

• Takahashi, K.; Yamamura, M.; Kobayashi, S.:
  A GA approach to solving reachability problems for Petri nets. 1996.

• Miyamoto, T.; Lee, D.-I.; Kumagai, S.:
  An efficient state space search for the synthesis of asynchronous circuits by subspace construction. 1995.

Back to the Petri Nets Bibliography