Title of article
A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets
Author/Authors
J. Y. Choi and S. Reveliotis، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
7
From page
462
To page
468
Keywords
Liveness verification , structural analysis. , Petri net (PN) reachability analysis , process-resource nets , reversibility verification
Journal title
I E E E Transactions on Automation Science and Engineering
Serial Year
2006
Journal title
I E E E Transactions on Automation Science and Engineering
Record number
391845
Link To Document