Procedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling.
Wook ShinJeong-Gun LeeHong Kook KimKouichi SakuraiPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2005)
Keyphrases
- petri net
- colored petri nets
- stochastic petri net
- petri net model
- high level petri nets
- manufacturing systems
- sequence diagrams
- discrete event systems
- service composition
- embedded real time systems
- ims ld
- constraint programming
- process model
- access control
- web service composition
- web services
- reactive systems
- concurrent systems
- workflow process
- knowledge based systems