A dynamic petri net model for iterative and interactive distributed multimedia presentation [PDF]
, 2005 Object Composition Petri Nets (OCPN), Priority Petri Nets (P-Net), Dynamic OCPN (DOCPN) and Enhanced P-Nets (EP-Net) have extended the original Petri Net to achieve the modeling of media synchronization and asynchronous user interactions during ...
Guan, SU, Tan, WK
core +6 more sources
An Axiomatization of the Algebra of Petri Net Concatenable Processes [PDF]
, 1996 The concatenable processes of a Petri net $N$ can be characterized abstractly as the arrows of a symmetric monoidal category $Pn(N)$. However, this is only a partial axiomatization, since it is based on a concrete, ad hoc chosen, category of symmetries ...
Sassone, V.
core +2 more sources
Petri nets for systems and synthetic biology [PDF]
, 2008 We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms.
Donaldson, R, Heiner, M, Gilbert, D
core +6 more sources
Petri Net Methodology for Optimisation of Heat Integration and Batch Process Scheduling
Chemical Engineering Transactions, 2015 In this work, a Petri net (PN) based methodology for incorporating heat integration in batch process scheduling was presented. With this method, heat integration and batch process scheduling can be optimised simultaneously. Scheduling model, firstly, was
Y. Jia, W. Xiao, X. Ruan, G. He, X. Jia
doaj +1 more source
Smart Fuzzy Petri Net-Based Temperature Control Framework for Reducing Building Energy Consumption
Sensors, 2023 This study addresses the pressing issue of energy consumption and efficiency in the Kingdom of Saudi Arabia (KSA), a region experiencing growing demand for energy resources.
Wael Deabes +2 more
doaj +1 more source
Axiomatizing Petri Net Concatenable Processes [PDF]
, 1995 The concatenable processes of a Petri net $N$ can be characterized abstractly as the arrows of a symmetric monoidal category $P[N]$. Yet, this is only a partial axiomatization, since $P[N]$ is built on a concrete, ad hoc chosen, category of symmetries ...
Sassone, V.
core +2 more sources
Petri Net-Based Semi-Compiled Code Generation for Programmable Logic Controllers
Applied Sciences, 2021 Industrial discrete event dynamic systems (DEDSs) are commonly modeled by means of Petri nets (PNs). PNs have the capability to model behaviors such as concurrency, synchronization, and resource sharing, compared to a step transition function chart or ...
Igor Azkarate +3 more
doaj +1 more source
On the Category of Petri Net Computations [PDF]
, 1995 We introduce the notion of strongly concatenable process as a refinement of concatenable processes [DMM89] which can be expressed axiomatically via a functor $Q[-]$ from the category of Petri nets to an appropriate category of symmetric strict monoidal ...
Sassone, V.
core +2 more sources
The Internet of Things Enabled Shop Floor Scheduling and Process Control Method Based on Petri Nets
IEEE Access, 2019 Shop floor scheduling requires consideration of the dynamic, time-varying, and unpredictable natures of the manufacturing environment. A shop floor scheduling/rescheduling method based on Petri net and ant colony optimization (PN-ACO) is proposed given ...
Xiaoqiang Wu, Songling Tian, Lei Zhang
doaj +1 more source
Smart selection from petri net modeling tools for fast developing a manufacturing system
Cogent Engineering, 2022 Petri net (PN) is a well-known graphical and mathematical model that can be used to describe a system quickly and dynamically. Over the last decade, it has provided many applications for academia research and industrial practice, especially, for the ...
Yi-Nan Lin +7 more
doaj +1 more source