Keyword : Coloured Petri Net

Procedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling
Wook SHIN  Jeong-Gun LEE  Hong Kook KIM  Kouichi SAKURAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/01/01
Vol. E88-A  No. 1  pp. 327-330
Type of Manuscript: Special Section LETTER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
Coloured Petri Net,  access control,  role,  behavior, 
  Summary |  Full Text:PDF (307.4KB)
Specifying Software Architectures Based on Coloured Petri Nets
Wenxin WU  Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/20
Vol. E83-D  No. 4  pp. 701-712
Type of Manuscript: Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: System
Keyword: 
software architecture,  Coloured Petri Net,  architecture style,  architecture description language,  architectural reuse, 
  Summary |  Full Text:PDF (784.1KB)