Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs.
Boris ShenkerTadao MurataSol M. ShatzPublished in: FJCC (1986)
Keyphrases
- petri net
- petri net model
- imperative programs
- discrete event systems
- manufacturing systems
- colored petri nets
- web service composition
- high level petri nets
- stochastic petri net
- service composition
- process model
- ims ld
- fuzzy petri net
- expert systems
- multistage
- information processing
- fuzzy logic
- concurrent systems
- control system
- story generation
- neural network