Modular functional modelling of Petri nets with individual tokens

• Authors:

• Manfred Broy;Thomas Streicher

• Affiliations:

• -;-

• Venue:
• Advances in Petri Nets 1992, The DEMON Project
• Year:
• 1992