Matrix Reduction Verification of Extended Petri Nets.
Walter Alan CantrellKatia P. MaxwellMikel D. PettyTymaine S. WhitakerPublished in: ACM Southeast Regional Conference (2020)
Keyphrases
- petri net
- petri net model
- colored petri nets
- concurrent systems
- discrete event systems
- high level petri nets
- manufacturing systems
- service composition
- fuzzy petri net
- state machines
- stochastic petri net
- artificial intelligence
- sequence diagrams
- model checking
- process model
- ims ld
- production process
- fuzzy reasoning
- production system
- expert systems