Results 121 to 130 of about 23,744 (217)

Fuzzy Petri Nets for Traffic Node Reliability. [PDF]

Sensors (Basel)
Kiss G, Bakucz P.
europepmc   +1 more source

Incremental modelling and analysis of biological systems with fuzzy hybrid Petri nets. [PDF]

Brief Bioinform
Assaf G, Liu F, Heiner M.
europepmc   +1 more source

On the traffic equations for batch routing queueing networks and stochastic Petri nets

, 1994
The traffic equations are a set of linear equations, which are the basis for the exact analysis of product form queueing networks, and the approximate analysis of non-product form queueing networks.
Petri Nets, Matteo Sereno, Richard J. Boucherie   +2 more
core  

Insertion attack identification in discrete event systems using petri nets with an observer. [PDF]

PLoS One
Ahmed AA, Chen Y, El-Sherbeeny AM.
europepmc   +1 more source

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. [PDF]

Sensors (Basel), 2020
Wisniewski R, Grobelna I, Karatkevich A.
europepmc   +1 more source

Extending PNML scope: the prioritised petri nets experience

, 2011
The Petri net standard ISO/IEC 15909 comprises 3 parts. The first one defines the most used net types, the second an interchange format for these — both are published.
Kordon, F., Petrucci, L., Hillah, L., Lakos, C.   +3 more
core  

Dynamic Simulation and Modeling of a Novel NeuRaiSya for Railway Monitoring System Using Petri Nets. [PDF]

Sensors (Basel)
Deplomo BNI, Villaverde JF, Paglinawan AC.   +2 more
europepmc   +1 more source

Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation

, 2002
In earlier work it has been shown that finite state CTL model checking of reactive systems can be achieved by a relatively simple interpreter written in tabled logic programming.
Massart, Thierry, Leuschel, Michael
core  

Applications of petri nets

, 2008
Petri nets are powerful formalism for modeling a wide range of dynamic systems and system behaviors. This thesis surveys the basic concept and application of Petri nets. The structure of Petri nets, their marking and execution and several examples of Petri net modeling. In this thesis we research into the analysis of Petri nets.
openaire   +2 more sources