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 Netaccess controlrolebehavior
 Summary | Full Text:PDF(307.7KB)

Specifying Software Architectures Based on Coloured Petri Nets
Wenxin WU Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
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 architectureColoured Petri Netarchitecture stylearchitecture description languagearchitectural reuse
 Summary | Full Text:PDF(780.9KB)