Top-down synthesis of live and bounded free choice nets

• Authors:

• Javier Esparza;Manuel Silva

• Affiliations:

• -;-

• Venue:
• Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
• Year:
• 1990