Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules

• Authors:

• Vanio M. Savi;Xiaolan Xie

• Affiliations:

• -;-

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