Abstract
Petri nets' simplification of property preservation is a significant approach for Petri nets analysis.Meanwhile,the computational ability of Petri nets with inhibitor arcs is equal to Turing machine.From the perspective of series transition and series places respectively,this paper proposed two simplified methods of the Petri nets with inhibitor arcs.Finally,it proved that the characteristics such as aliveness,boundedness and weak fairness of simplified Petri nets with inhibitor arcs were kept unanimous with the original Petri nets with inhibitor arcs by these methods.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
