Petri Nets (PN)
A new paradigm for uncertain knowledge representation by Plausible Petri nets
... None of the PN variants developed to handle uncertainty are well-suited to embedding plausible reasoning into the PN formalism, nor do they consider the hybrid nature of real-world dynamical systems, consisting of a ...
23
APC Semantics for Petri Nets
... been attempts to integrate two or more formal methods. Main motivation for using FDT in design and analysis of computer-based systems lies in everyday growing depen- dence of human society on such the systems, ...
8
Applying Petri Nets on Project Management
... of Petri nets for a search of natural, simple, and powerful methods in describing and analyzing the flow of information and control in systems, particularly systems that may exhibit asynchronous and ...
7
Petri Nets—A Versatile Modeling Structure
... Stochastic Petri Nets, which deal with non-primi- tive events whose duration is assumed to be exponentially distributed ...Timed Petri Net (TPN) graph looks exactly like a PN graph, except that ...
11
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
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
Petri Nets and Other Models of Concurrency
... of Petri nets we did not touch in this paper is their use as a semantic basis to interpret concurrent languages (see for example [90, 64, 25, 17]), an application that clearly calls for a ‘process ...
56
The complexity of coverability in ν Petri nets
... The basic building blocks of this development are Ackermannian counters reminiscent of the construction of Schnoebelen (2010) for reset Petri nets. The catch is that we need to be able to mimick this ...
11
On the Semantics of Place/Transition Petri Nets
... than Petri nets’, a geometric model of concurrency based on n-categories as models of higher dimensional automata is introduced, but the modelling power obtained does not seem to be greater than that of ...
36
Stochastic Petri Nets for Wireless Networks
... Stochastic Petri Nets (SPNs), introduced in 1980, are a modeling formalism that can be conveniently used for the performance and reliability evaluation of discrete event ...
15
Properties of Distributed Time Arc Petri Nets
... Verification of concurrent and parallel systems plays nowadays an important role in the concurrency theory, with a number of successful applications. Algo- rithmic methods have been developed for process algebras ...
12
Qualifications of Petri nets for modeling of logistical systems
... Úroveň 1 – značky ve stejném místě Petriho sítě jsou vzájemně nerozlišitelné a mají charakter boole- novských hodnot. Dané místo smí obsahovat buď- to žádnou nebo jedinou značku (každé místo tedy smí reprezentovat právě ...
6
Towards a Notion of Distributed Time for Petri Nets
... [Yi90], Petri nets [Jan90], lossyvector addition systems [BM99], counter ma- chines [Jan97,AC98], real time systems [ACD90,AD90,AD94,LPY95] and many ...
9
The Algebraic Structure of Petri Nets
... of Petri nets is their use as a semantic basis to interpret concurrent languages, a task that calls for a compositional, ‘process algebra-like’ descrip- tion of ...of nets, as, ...uses Petri ...
17
On the Petri Nets Control of the Multicellular Converter
... Several patents have been filed on this subject [2]. This new topology is becoming more and more attractive in industrial applications. Indeed, this multicellular structure is an interesting system for high power ...
5
The reachability problem for Petri nets is not elementary
... Petri nets [45], also known as vector addition systems [23], [18, ...for Petri nets is reachability: whether from the given initial configuration there exists a sequence of valid execution ...
11
Decompositions for stochastic product form Petri nets
... We see several promising areas for future research. First of all, the current decomposition results are formulated only for state independent firing rates. However we think it is possible to formulate these results for ...
54
Coverability trees for petri nets with unordered data
... Fig. 1. A short taxonomy of some well-structured extensions of Petri nets. Complexities in violet refer to the coverability and termination problems, and can be taken as proxies for expressiveness; the ...
18
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
Modeling and Analysis of Security Protocols Using Colored Petri Nets
... The paper is organized as follows. Section 2 is an overview of the main analysis methods currently using Petri Nets for analysis of security protocols. And a new method using CP-Nets to analyze ...
9