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 nets,  marking construction problem,  reachability problem,  heuristic algorithms,  computer experiments, 
  Summary |  Full Text:PDF (359.2KB)
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: Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: INVITED
Keyword: 
Petri nets,  object orientation,  multi-agent systems,  reachability problem,  distributed systems,  formal model, 
  Summary |  Full Text:PDF (539.4KB)
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/20
Vol. E82-D  No. 7  pp. 1101-1108
Type of Manuscript: PAPER
Category: Image Processing,Computer Graphics and Pattern Recognition
Keyword: 
escape-time algorithm,  reachability problem,  Petri net,  chaos game,  iterated function system,  PN duality, 
  Summary |  Full Text:PDF (4MB)
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/20
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 net,  occurrence net,  unfolding,  reachability problem, 
  Summary |  Full Text:PDF (718KB)