|
Volumn 68, Issue 4, 2002, Pages 539-558
|
Sequential and distributed model checking of Petri net specifications
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
COMPUTATION THEORY;
LOGIC PROGRAMMING;
MATHEMATICAL MODELS;
OPTIMIZATION;
PETRI NETS;
RANDOM PROCESSES;
STATE SPACE METHODS;
TREES (MATHEMATICS);
COMPUTATIONAL TREE LOGIC (CTL);
DECISION DIAGRAMS;
MODEL CHECKING;
MODEL CHECKING ALGORITHMS;
DISTRIBUTED COMPUTER SYSTEMS;
|
EID: 13844317985
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/S1571-0661(05)80391-3 Document Type: Conference Paper |
Times cited : (12)
|
References (19)
|