For the most recent entries see the Petri Nets Newsletter.

On forbidden state problems in a general class of non-ordinary controlled Petri nets.

Cho, Y.C.; Kwon, W.H.

In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), 11-14 October 1998, San Diego, CA, pages 90-95. 1998.

Abstract: A new method is proposed for solving the forbidden state problem in a general class of non-ordinary controlled Petri nets (NCPNs). A concept of step-aligned subnets is introduced to handle the behavior of reachable markings in NSPNs. In addition, the step-alignment algorithm is developed to transform any loop-free subnets into step-aligned subnets. New procedures called the step-evaluation method and the forbidden condition reduction algorithm (FCRA) are developed to efficiently check admissible/boundary conditions given forbidden conditions and to reduce the computational complexity.

Keywords: computational complexity, controlled Petri nets, forbidden states.

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

Back to the Petri Nets Bibliography