Keyword : reachability problem


The Marking Construction Problem of Petri Nets and Its Heuristic Algorithms
Satoshi TAOKA Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2011/09/01
Vol. E94-A  No. 9 ; pp. 1833-1841
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
Petri netsmarking construction problemreachability problemheuristic algorithmscomputer experiments
 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)
Category: 
Keyword: 
Petri netsobject orientationmulti-agent systemsreachability problemdistributed systemsformal model
 Summary | Full Text:PDF

Escape-Time Modified Algorithm for Generating Fractal Images Based on Petri Net Reachability
Hussein Karam HUSSEIN Aboul-Ella HASSANIEN Masayuki NAKAJIMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/07/25
Vol. E82-D  No. 7 ; pp. 1101-1108
Type of Manuscript:  PAPER
Category: Image Processing,Computer Graphics and Pattern Recognition
Keyword: 
escape-time algorithmreachability problemPetri netchaos gameiterated function systemPN duality
 Summary | Full Text:PDF

A Graph Theoretic Approach to Reachability Problem with Petri Net Unfoldings
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1809-1816
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
Petri netoccurrence netunfoldingreachability problem
 Summary | Full Text:PDF