Petri nets
Fuzzy Petri Nets and Fuzzy Cognitive Maps
... fuzzy petri net model[FPN] [4,5] is a petri net having places and transitions and with each transition a rule is associated with a certain factor value 0 and ...
5
Volume 2: Petri Nets and Graph Transformations
... Abstract: We introduce an analysis method that checks for the absence of (Euler) paths or cycles in the set of graphs reachable from a start graph via graph transfor- mation rules. This technique is based on the ...
12
Volume 2: Petri Nets and Graph Transformations
... low-level nets and in [PER95] for high-level nets using the algebraic presentation of Petri nets as monoids introduced in ...of Petri net transformation systems is to extend the well- ...
14
Volume 2: Petri Nets and Graph Transformations
... problems with such an ad-hoc solution: firstly, one has to prove that the transactions are indeed modelled correctly (trivial in this case, but not always so); secondly, there is a danger of making the model too complex ...
8
Volume 2: Petri Nets and Graph Transformations
... consider Petri nets with no self-loops (i.e., so called pure Petri nets), that is, one production either adds or deletes nodes of a concrete type, but there is never a simultaneous addition ...
17
Volume 2: Petri Nets and Graph Transformations
... viewing Petri nets as par- ticular GTSs over discrete typed graphs: places form the nodes of the type graph, markings are typed graphs (whose nodes model tokens) and transitions are ...for Petri ...
20
Volume 2: Petri Nets and Graph Transformations
... Optimal trajectory problem. The first author studied the problem of simultaneous optimiza- tion and reachability analysis in the field of Petri nets in various papers [GP03, GP06]. The essence of the ...
19
Volume 2: Petri Nets and Graph Transformations
... our nets in order to evaluate them and suggest improvements or ...of Petri nets in a categorical instead of a set theoretical way ...of Petri nets to model the triggering changes and ...
14
Volume 2: Petri Nets and Graph Transformations
... of Petri nets and of graph transformation, the workshop gathers researchers working in the field of low- and high-level Petri nets, and researchers working in the field of rewriting, including ...
5
A Congruence for Petri Nets
... of Petri context which is a marked Petri net enriched with an inner and an outer interface; for us an interface is simply an arbitrary subset of the places of the ...such nets is simply the glueing ...
14
Petri Nets—A Versatile Modeling Structure
... Petri Nets (PNs) are an effective structure for modeling and analyzing asynchronous systems with concurrent and parallel ...A Petri net models the static properties of a discrete event sys- tem ...
11
Some Fundamental Properties of Petri Nets
... of Petri nets, that are explored, are mainly related to the static and behavioural ...basic Petri nets, it is possible to understand some of the basic analysis methods, that rely on the ...
7
Parallel Simulation of Queueing Petri Nets
... Colored Petri Nets (CPNs) introduc- ing token colors which can be used to distinguish between different types of requests in a ...Stochastic Petri Nets (GSPNs) introduce timed transitions ...
10
The Application of Petri Nets to Workflow Management
... opinion Petri nets constitute a good basis for ...a Petri-net-based workflow manage- ment ...the Petri net formalism are useful in the context of workflow man- ...
53
An Intent Recognize Based on Petri Nets
... A Petri net is according to Murata [4] a directed, weighted, bipartite graph in which nodes come in two flavors: places and ...of Petri nets, tokens, are used to denote the existence of a process (or ...
8
Towards a Notion of Distributed Time for Petri Nets
... tions Petri nets were proposed byRamchandani ...places Petri nets, introduced by Sifakis ...timed-arc Petri nets [BLT90,Han93], a time ex- tension of Petri nets ...
9
Model Checking of Object Petri Nets in Prolog
... Abstract Object Petri nets (OPNs) provide a natural and modular method for the modelling of many real-world systems. We give a struc- ture-preserving translation of OPNs to Prolog, avoiding the need for an ...
24
Properties of Distributed Time Arc Petri Nets
... Petri nets of [16]. We shall analyse timed-arc Petri nets [3,7], a time extension of Petri nets where time (age) is associated to tokens and transitions are labelled by time ...
12
A Survey of Control Structures for Reconfigurable Petri Nets
... Reconfigurable Petri nets exhibit dynamic behavior by the token game of Petri nets and by net transformation by rule ...reconfigurable Petri nets is double-pushout ap- proach on ...
10
Bridge asset management using Petri Nets
... Coloured Petri-Nets (CPNs) are an extension to the PN modelling technique (12). It adds in the ability to perform more sophisticated operations. This is largely because tokens now have their own identity ...
8