科研之友
微信
新浪微博
Facebook
分享链接
摘要
This paper focuses on the deadlock prevention problems in a class of Petri nets, systems of simple sequential process with resources, (SPR)-P-3 for short. By structure analysis, we propose an approach that can transform a plant net model into a weighted (SPR)-P-3 ((WSPR)-P-3) that is behaviorally equivalent to the plant model. The (WSPR)-P-3 is made to be live by properly reconfiguring its weight distribution such that its all strict minimal siphons are self-max'-controlled. The resulting (WSPR)-P-3 can serve as a liveness-enforcing Petri net supervisor for the plant model after removing some idle and operation places. A live controlled system can be accordingly obtained by synchronizing a plant model and the places whose weights are regulated. This research shows that a small number of monitors is obtained, leading to more permissive behavior of the controlled system. Examples are used to demonstrate the proposed concepts and methods.
- 出版日期2010-5
- 单位西安电子科技大学
