Keyword : partial order methods


A New Approach to Deterministic Execution Testing for Concurrent Programs
In Sang CHUNG Byeong Man KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/12/01
Vol. E84-D  No. 12 ; pp. 1756-1766
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
concurrent program testingdeterministic execution testingsynchronization errorevent independencepartial order methods
 Summary | Full Text:PDF

An Algorithm for Legal Firing Sequence Problem of Petri Nets Based on Partial Order Method
Kunihiko HIRAISHI Hirohide TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/11/01
Vol. E84-A  No. 11 ; pp. 2881-2884
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
Petri netlegal firing sequence problempartial order methodsstubborn setsstate space explosion
 Summary | Full Text:PDF