Detection of Ada Static Deadlocks Using Petri Net Invariants.
Tadao MurataBoris ShenkerSol M. ShatzPublished in: IEEE Trans. Software Eng. (1989)
Keyphrases
- petri net
- petri net model
- discrete event systems
- high level petri nets
- fuzzy petri net
- service composition
- manufacturing systems
- web service composition
- genetic algorithm
- ims ld
- colored petri nets
- learning process
- web services
- neural network
- knowledge base
- decision making
- story generation
- stochastic petri net
- machine learning