A polynomial &lgr;-bisimilar normalization for reset Petri nets

• Authors:

• Catherine Dufourd;Alain Finkel

• Affiliations:

• Lab Spécification et Vérification, Cedex Cachan, France;Lab Spécification et Verification, Cedex Cachan, France

• Venue:
• Theoretical Computer Science
• Year:
• 1999