For the most recent entries see the Petri Nets Newsletter.

Structural Analysis of Firing Termination of Conflict-Free Petri Nets.

Ge, Q.W.; Watanabe, T.; Onaga, K.

In: SICE'89: Proceedings of the 28th SICE Annual Conference, 1989, Tokyo, Japan; Vol. 2, pages 1009-1012. Piscataway, NJ, USA: IEEE Service Center, 1989.

Abstract: A structural-analysis-based method for verifying the termination of conflict-free Petri nets is presented. Necessary and sufficient conditions of structural termination are obtained by investigating the solution of a linear equation constructed in the paper. Two-input transitions are included in the model considered. The algorithm requires exponential computation time.

Keywords: firing termination (of) conflict-free net; (structural) termination.

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

Back to the Petri Nets Bibliography