For the most recent entries see the Petri Nets Newsletter.

Reachability of synchronized choice Petri nets.

Chao, Daniel Y.

In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 6. IEEE Computer Society Press, October 2002.

Abstract: A new local structure called Second Order Structure (SOS) was proposed to generate a new class of nets called Synchronized Choice Nets (SNC). SNC covers well- behaved FC. Reachability is no longer P-Space hard problem, but can be translated into a structure problem and solved with polynomial time complexity.

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

Back to the Petri Nets Bibliography