An analytical method for well-formed workflow/Petri net verification of classical soundness
International Journal of Applied Mathematics and Computer Science, 2014 In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes.
Clempner Julio
doaj +1 more source
Path planning for automated guided vehicle systems with time constraints using timed Petri nets
Measurement + Control, 2020 Automated guided vehicles (AGVs) are extensively used in many applications such as intelligent transportation, logistics, and industrial factories. In this paper, we address the path planning problem for an AGV system (i.e. a team of identical AGVs) with
Zhou He +4 more
doaj +1 more source
Modeling of critical systems implementing negative events using dual Petri nets
MATEC Web of Conferences, 2018 This work is devoted to solving the problem of modeling critical systems based on the use of modified Petri nets. The dual (binary) Petri net one of the modifications, which allows us to view inversing events at the same time, solving the problem with ...
Ganzhur Marina A. +2 more
doaj +1 more source
Performance Optimization for a Class of Petri Nets. [PDF]
Sensors (Basel), 2023 Shi W, He Z, Gu C, Ran N, Ma Z.
europepmc +1 more source
Measuring ancient technological complexity and its cognitive implications using Petri nets. [PDF]
Sci Rep, 2023 Fajardo S, Kozowyk PRB, Langejans GHJ.
europepmc +1 more source
Protocol for biomodel engineering of unilevel to multilevel biological models using colored Petri nets. [PDF]
STAR Protoc, 2023 Liu F, Heiner M, Gilbert D.
europepmc +1 more source
Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets. [PDF]
PLoS One, 2023 Ahmad F +6 more
europepmc +1 more source
This book is an augmented and revised English translation of the book "Redes de Petri" by Janette Cardoso and Robert Valette, Editora da UFSC, ISBN 85-328-0095-5. Part of this material has been used in graduate and undergraduate courses at ISAE-SUPAERO and INSA.It begins with a discussion about systems and their modeling.
Cardoso, Janette, Valette, Robert
openaire +2 more sources
Modeling and analyzing the action process of monoamine hormones in depression: a Petri nets-based intelligent approach. [PDF]
Front Big Data, 2023 Wang X +6 more
europepmc +1 more source
Modelling and measuring complexity of traditional and ancient technologies using Petri nets. [PDF]
PLoS One, 2022 Fajardo S +3 more
europepmc +1 more source