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