Towards a Usage Control Policy Specification with Petri Nets.
Basel KattXinwen ZhangMichael HafnerPublished in: OTM Conferences (2) (2009)
Keyphrases
- petri net
- control policy
- colored petri nets
- reactive systems
- long run
- state machines
- petri net model
- control policies
- sequence diagrams
- reinforcement learning
- discrete event systems
- service composition
- manufacturing systems
- fuzzy petri net
- stochastic petri net
- process algebra
- ims ld
- average cost
- formal methods
- formal specification
- workflow model
- infinite horizon
- low cost