Verification of EPCs: Using Reduction Rules and Petri Nets.
Boudewijn F. van DongenWil M. P. van der AalstH. M. W. VerbeekPublished in: CAiSE (2005)
Keyphrases
- petri net
- petri net model
- colored petri nets
- concurrent systems
- manufacturing systems
- discrete event systems
- classification rules
- ims ld
- state machines
- programmable logic controller
- stochastic petri net
- association rules
- fuzzy petri net
- service composition
- web services
- rule sets
- model checking
- computational intelligence