Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings.
Alex KondratyevJordi CortadellaMichael KishinevskyLuciano LavagnoAlexander TaubinAlexandre YakovlevPublished in: ACSD (1998)
Keyphrases
- petri net
- state machines
- petri net model
- manufacturing systems
- high level petri nets
- concurrent systems
- discrete event systems
- service composition
- process model
- reactive systems
- delay insensitive
- stochastic petri net
- neural network
- embedded real time systems
- colored petri nets
- artificial intelligence
- asynchronous circuits
- fuzzy petri net
- web service composition
- fuzzy logic
- genetic algorithm