Keyword : formal model

A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power
Isao YAGI Yoshiaki TAKATA Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/05/01
Vol. E90-D  No. 5 ; pp. 799-807
Type of Manuscript:  PAPER
Category: Automata and Formal Language Theory
labeled transition systempushdown automatonformal modelaspect-oriented programmingAspectJ
 Summary | Full Text:PDF

A Survey of Object-Oriented Petri Nets and Analysis Methods
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 2964-2971
Type of Manuscript:  INVITED PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Petri netsobject orientationmulti-agent systemsreachability problemdistributed systemsformal model
 Summary | Full Text:PDF