Petri Nets (pns)
On the Petri Nets Control of the Multicellular Converter
... direct Petri nets control algorithm applied to a flying capacitor converter has been presented and ...developed. Petri nets are among the powerful tools for modeling and control of such ...
5
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
A new paradigm for uncertain knowledge representation by Plausible Petri nets
... using PNs were proposed by [22,23] (revisited afterwards in [24] and [25] , ...Hybrid Petri nets (HPNs) still constitute an active area of research today, since they provide a satisfactory solution ...
23
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
Coverability trees for petri nets with unordered data
... classical Petri nets where tokens carry values from a countable data domain, that can be tested for equal- ity upon firing ...Data Petri Nets (UDPN) are well-structured and therefore allow ...
18
The reachability problem for Petri nets is not elementary
... Petri nets, also known as vector addition systems, are a long estab- lished model of concurrency with extensive applications in mod- elling and analysis of hardware, software and database systems, as well ...
11
Model Checking of Object Petri Nets in Prolog
... encode Petri nets as logic programs, the specialised programs can be viewed as a finite abstraction of state space covering all (possibly infinite) reachable markings of the Petri ...any Petri ...
24
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
From Task Graphs to Petri Nets
... of Petri nets offer many possibilities for verification and ...the Petri net, the easier is its verification and ...the Petri net can be represented using two matrices, i) input flows and ii) ...
7
The complexity of coverability in ν Petri nets
... ν-Petri nets (νPN) generalise Petri nets by decorating tokens with data values taken from some infinite countable data domain D . These values act as pure names: they can only be compared for ...
11
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- ...
11
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 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
Petri nets of groups in biogeochemical cycles
... Petri nets are one of the most popular models for the representation and analysis of parallel processes. It has a wide range of application including information systems, operation systems, databases, ...
6
Decompositions for stochastic product form Petri nets
... stochastic Petri net. The concept of Petri nets was first published by Carl Adam Petri in 1962 [12] and is able to explicitly incorporate concurrency and competition in the ...
54
A Survey of Control Structures for Reconfigurable Petri Nets
... (AHL) nets are Petri nets combined with algebraic specifications [9] leading to the concept of algebraic high-level nets with suitable composition ...AHL nets. This frame- work employs ...
10
Reliability modelling of PEM fuel cells with hybrid Petri nets
... Petri nets are a graphical and mathematical modelling tool for representation of variety of systems and pro- ...cesses. Petri net is a bipartite graph consisting of two types of nodes – places and ...
8
Process Net: A petri net model with the characteristics of process algebras
... of Petri Nets are the lack of composability and the node explosion problem when modeling of complex ...high Petri Nets models, such as Hierarchical Petri Nets, Colored ...
8
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
Properties of Distributed Time Arc Petri Nets
... GT nets can be compared on the grounds of various decidability ques- ...GT nets. Their proof does not imply undecidability for LT nets, because it relies on synchronised ...LT nets is less ...
12