Abstract
Ordinary Petri nets are forward directed transition systems. Modern transition systems events and event flows are reversible. Hence modeling structure......
小提示:本篇文献需要登录阅读全文,点击跳转登录