Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. [PDF]
Sensors (Basel), 2022 Grobelna I, Szcześniak P.
europepmc +1 more source
On the modeling of infinite counters by ordinary Petri nets
Труды Института системного программирования РАН, 2018 This paper provides the analysis of the express power of Petri nets to model counters with infinite state space. The implementation relation for the counters modeling is suggested. A lack of Petri nets expression power for such modeling is shown.
L. V. Dvoryansky
doaj
MPAT: Modular Petri Net Assembly Toolkit
SoftwareXWe present a Python package called Modular Petri Net Assembly Toolkit (MPAT) that empowers users to easily create large-scale, modular Petri Nets for various spatial configurations, including extensive spatial grids or those derived from shapefiles ...
Stefano Chiaradonna +2 more
doaj +1 more source
Research on state monitoring and diagnosis models for multi-state systems based on Petri nets
Results in EngineeringPetri nets (PNs) are an effective modeling method for system fault diagnosis and monitoring. However, basic Petri nets (BPNs) cannot distinguish between different resource types and cannot determine the firing weights of transitions based on the ...
Haohao Liu +3 more
doaj +1 more source
A Suite of Petri net based Tools for Monitoring and Debugging Distributed Autonomous Systems [PDF]
Journal of Systemics, Cybernetics and Informatics, 2012 This paper describes the use of Petri nets in a suit of tools to design, analyze, monitor, log and debug the run-time coordination of distributed control systems. The interaction between the distributed components is modeled using Petri nets.
Joaquín López +3 more
doaj
Heterogeneous network flow and Petri nets characterize multilayer complex networks. [PDF]
Sci Rep, 2022 Ademovic Tahirovic A +2 more
europepmc +1 more source
From Petri Plates to Petri Nets, a revolution in yeast biology. [PDF]
FEMS Yeast Res, 2022 Oliver SG.
europepmc +1 more source
A Numerical Comparison of Petri Net and Ordinary Differential Equation SIR Component Models
IEEE AccessPetri nets are an increasingly used modeling framework for the spread of disease across populations or within an individual. For example, the Susceptible-Infectious-Recovered (SIR) compartment model is foundational for population epidemiological modeling
Trevor Reckell +4 more
doaj +1 more source
Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets. [PDF]
Sci Prog, 2022 Habbachi S, Li Z, Wu N, Khalgui M.
europepmc +1 more source
A Formal Performance Evaluation Method for Customised Plug-and-Play Manufacturing Systems Using Coloured Petri Nets. [PDF]
Sensors (Basel), 2022 Wang G +5 more
europepmc +1 more source