Petri Nets and Bisimulations
نویسندگان
چکیده
منابع مشابه
Petri Nets and Bisimulations
Several categorical relationships (adjunctions) between models for concurrency have been established, allowing the translation of concepts and properties from one model to another. A central example is a coreflection between Petri nets and asynchronous transition systems. The purpose of the present paper is to illustrate the use of such relationships by transferring to Petri nets a general conc...
متن کامل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...
متن کاملComparing Petri Data Nets and Timed Petri Nets
Well-Structured Transitions Systems (WSTS) constitute a generic class of infinite-state systems for which several properties like coverability remain decidable. The family of coverability languages that they generate is an appropriate criterium for measuring their expressiveness. Here we establish that Petri Data nets (PDNs) and Timed Petri nets (TdPNs), two powerful classes of WSTS are equival...
متن کاملEXHOST-PIPE Playing Plan Petri Nets and Particle Petri Nets
This paper presents two demos with EXHOST-PIPE: first we present an application of the tool to model and animate a plan Petri net in order to supervise and control a team of robots; second we focus on the particle Petri net-based estimation of a hybrid system and the detection of behavioural inconsistencies between an aircraft and its crew.
متن کاملPetri Nets and Priorities
Priority speciications ooer a convenient description technique to resolve connicts in favour of particular actions. Besides specifying the functional behaviour of a system, priorities have also become important in the eld of performance analysis using stochastic Petri nets, where priorities are implicitly given by separating transitions into immediate and timed. For performance analysis of such...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1995
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v2i4.19506