An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets

• Authors:

• Peter Kemper;Falko Bause

• Affiliations:

• -;-

• Venue:
• Proceedings of the 13th International Conference on Application and Theory of Petri Nets
• Year:
• 1992