Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.
Wei SongXiaoxing MaChunyang YeWanchun DouJian LuPublished in: QSIC (2009)
Keyphrases
- colored petri nets
- petri net
- petri net model
- process model
- stochastic petri net
- manufacturing systems
- web services
- service composition
- discrete event systems
- concurrent processes
- fuzzy petri net
- discrete dynamical systems
- information systems
- sequence diagrams
- ims ld
- workflow model
- state machines
- distributed systems
- knowledge base