Verification of hypertorus communication grids by infinite petri nets and process algebra.
Dmitry A. ZaitsevTatiana R. ShmelevaJan Friso GrootePublished in: IEEE CAA J. Autom. Sinica (2019)
Keyphrases
- process algebra
- petri net
- concurrent systems
- petri net model
- asynchronous circuits
- model checking
- grid workflow
- communication protocols
- colored petri nets
- formal methods
- discrete event systems
- concurrent processes
- temporal logic
- formal specification
- web service composition
- communication networks
- fuzzy petri net
- computer networks
- distributed systems
- process model
- real time
- programmable logic controller
- stochastic petri net
- object oriented