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.