科研之友
微信
新浪微博
Facebook
分享链接
摘要
By analyzing the evolution nature of a Petri net, this article reports a generalized state equation for Petri nets, including Petri nets with inhibitor and enabling arcs. By proposing the generalized state equations, all enabled transitions meeting the firing condition can fire concurrently. Conflicts can be found when any component of a resulting marking vector by firing the enabled transitions at some marking becomes negative. We first formulate a novel state equation for regular Petri nets. Then, it is extended to the nets with inhibitor and enabling arcs. A classical problem with conflicts and concurrency, that is, the dining philosophers problem, is taken as an example to validate the proposed state equations of Petri nets.
- 出版日期2017-8-23
- 单位西安电子科技大学
