Separability in Persistent Petri Nets
نویسندگان
چکیده
We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.
منابع مشابه
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
In this paper, we apply discrete-event system techniques to model and analyze the execution of concurrent software. The problem of interest is deadlock avoidance in shared-memory multithreaded programs. We employ Petri nets to systematically model multithreaded programs with lock acquisition and release operations. We define a new class of Petri nets, called Gadara nets, that arises from this m...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملOn the Reducibility of Persistent Petri Nets
This paper aims to find a transformation from persistent Petri nets, which are a general class of conflict-free Petri nets, into a more restricted class of nets called behaviourally conflict-free nets. In a persistent net, whenever two distinct transitions are simultaneously enabled, one cannot become disabled through the occurrence of the other. In a behaviourally conflict-free net, two distin...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملImplementation of a Neural Network Using Simulator and Petri Nets
This paper describes construction of multilayer perceptron by open source neural networks simulator Neuroph and Petri net. The described multilayer perceptron solves logical function "xor "exclusive or. The aim is to explore the possibilities of description of the neural networks by Petri Nets. The selected neural network (multilayer perceptron) allows to be seen clearly the advantages and disa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010