Keyword : colored Petri nets


Composing Collaborative Component Systems Using Colored Petri Nets
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/05/01
Vol. E84-A  No. 5 ; pp. 1209-1217
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
colored Petri netsmany sorted algebrasoftware engineeringcomponent based software developmentsoftware composition
 Summary | Full Text:PDF(366.7KB)

Identifying the Structure of Business Processes for Comprehensive Enterprise Modeling
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/02/01
Vol. E84-D  No. 2 ; pp. 239-248
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
formal methodcolored Petri netsbusiness process modelingrough set theoryrequirements engineering
 Summary | Full Text:PDF(460.6KB)

Knowledge-Based Software Composition Using Rough Set Theory
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4 ; pp. 691-700
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
formal methodcolored Petri netssoftware compositionrough set theoryknowledge representation
 Summary | Full Text:PDF(589.6KB)

Evaluating Adaptability of Software Systems Based on Algebraic Equivalency
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/12/25
Vol. E82-D  No. 12 ; pp. 1524-1534
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
formal methodcolored Petri netssoftware adaptabilityprocess algebrabusiness process modeling
 Summary | Full Text:PDF(372.6KB)