Keyword : general Petri nets


Reachability Criterion for Petri Nets with Known Firing Count Vectors
Tadashi MATSUMOTO Yasushi MIYANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4 ; pp. 628-634
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
general Petri netsreachabilitystate equationspurious solutionsnet decomposition immature siphons/traps
 Summary | Full Text:PDF(646.6KB)

Minimum Number of Live Minimal Structural Traps to Make a Minimal Deadlock Locally Live in General Petri Nets
Tadashi MATSUMOTO Ken SAIKUSA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/01/25
Vol. E81-A  No. 1 ; pp. 164-174
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
general Petri netslivenessminimal deadlock (ND)local liveness for NDreal deadlock-trap structure
 Summary | Full Text:PDF(947.2KB)

Finding a Minimal Siphon Containing Specified Places in a General Petri Net
Masahiro YAMAUCHI Shinji TANIMOTO Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1825-1828
Type of Manuscript:  Special Section LETTER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
general Petri netsminimal siphonspolynomial-time algorithmsstrongly connectedneddNP-completeness
 Summary | Full Text:PDF(334.6KB)

Finding Minimal Siphons in General Petri Nets
Shinji TANIMOTO Masahiro YAMAUCHI Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1817-1824
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
general Petri netsminimal siphonspolynomial-time algorithmsstrongly connectednessNP-completeness
 Summary | Full Text:PDF(616.4KB)

Necessary and Sufficient Condition of Structural Liveness for General Petri Nets--Virtual Deadlock-Trap Properties--
Tadashi MATSUMOTO Ken SAIKUSA Kohkichi TSUJI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/12/25
Vol. E78-A  No. 12 ; pp. 1862-1874
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
general Petri netsstructural livenessvirtual deadlock-trap propertiesbehavioral trapsnew subclass Nn
 Summary | Full Text:PDF(1.1MB)

Necessary and Sufficient Condition of Structural Liveness for General Petri Nets with Globally Structural Live Minimal Deadlocks
Tadashi MATSUMOTO Shinichi YAMAZAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/12/25
Vol. E78-A  No. 12 ; pp. 1875-1889
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
concurrent systemsgeneral Petri netsstructural livenesssingular minimal deadlockssemi-minimal deadlock
 Summary | Full Text:PDF(1.3MB)

Necessary and Sufficient Condition of Structural Liveness for General Petri Nets--Real Deadlock-Trap Properties--
Tadashi MATSUMOTO Ken SAIKUSA Shinichi YAMAZAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/12/25
Vol. E78-A  No. 12 ; pp. 1848-1861
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
general Petri netsstructural livenessreal deadlock-trap properties
 Summary | Full Text:PDF(1.2MB)