Deadlock-free verification of RosettaNet PIPs with time Petri nets.
Da-Yin LiaoPaladin LiuPublished in: SMC (2003)
Keyphrases
- petri net
- deadlock free
- petri net model
- colored petri nets
- concurrent systems
- concurrency control
- transaction processing
- service composition
- discrete event systems
- routing algorithm
- ims ld
- stochastic petri net
- model checking
- programmable logic controller
- fuzzy petri net
- asynchronous circuits
- management system
- database management systems
- multi dimensional
- databases