A usage control policy specification with Petri nets.
Basel KattMichael HafnerXinwen ZhangPublished in: CollaborateCom (2009)
Keyphrases
- petri net
- control policy
- colored petri nets
- state machines
- long run
- reactive systems
- sequence diagrams
- reinforcement learning
- control policies
- manufacturing systems
- petri net model
- discrete event systems
- fuzzy petri net
- service composition
- stochastic petri net
- ims ld
- average cost
- programmable logic controller
- process algebra
- infinite horizon
- fuzzy logic
- web services
- knowledge base