Verification of computing grids with special edge conditions by infinite Petri nets.
Dmitry A. ZaitsevPublished in: Autom. Control. Comput. Sci. (2013)
Keyphrases
- petri net
- petri net model
- colored petri nets
- concurrent systems
- discrete event systems
- manufacturing systems
- ims ld
- service composition
- fuzzy petri net
- state machines
- high level petri nets
- model checking
- process model
- stochastic petri net
- discrete dynamical systems
- programmable logic controller
- hardware and software
- formal methods
- web services