Title: Theoretical Research on Liveness and Safetyness of Petri Nets
Abstract:In this paper the authors study the liveness and safety of Petri nets from different point of view. First, ESAC is extended to NESAC, liveness and safety of NESAC are discussed. The combination of NES...In this paper the authors study the liveness and safety of Petri nets from different point of view. First, ESAC is extended to NESAC, liveness and safety of NESAC are discussed. The combination of NESAC and ESAC is a bigger subclass, moreover, the liveness and safety of general AC are studied. As a result an effective algorithm is obained. At last some characters about synthesize of nets are investigated, and character of liveness of AC is discussed as well.Read More
Publication Year: 2006
Publication Date: 2006-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot