Title of article :
A valuation-based analysis of conflict-free Petri nets
Author/Authors :
Hsu-Chun Yen، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2002
Pages :
9
From page :
387
To page :
395
Keywords :
fairness , Petri net , Decidability , Reachability analysis , controllability
Journal title :
Systems and Control Letters
Serial Year :
2002
Journal title :
Systems and Control Letters
Record number :
141934
Link To Document :
بازگشت