مرکز منطقه ای اطلاع رساني علوم و فناوري - A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets

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 :

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 :

https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=391845