Results 1 to 10 of about 411,715 (285)
Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems
Extended colored logic Petri nets (ECLPNs) are extensions of logic Petri nets (LPNs) and colored logic Petri nets (CLPNs). They are equivalent to LPNs and CLPNs, which can describe the batch processing and indeterminacy functions of resources in ...
Liang Qi, Yuyue Du, Wenjing Luan
exaly +3 more sources
The high reliability of modern engineering systems is achieved by performing predictive maintenance. Mathematical models based on stochastic timed colored Petri nets are an effective tool for developing complex production processes for Industry 4.0. This
Sergey Orlov
exaly +3 more sources
Manufacturing Scheduling Using Colored Petri Nets and Reinforcement Learning
Agent-based intelligent manufacturing control systems are capable to efficiently respond and adapt to environmental changes. Manufacturing system adaptation and evolution can be addressed with learning mechanisms that increase the intelligence of agents.
Maria Drakaki
exaly +3 more sources
The mechatronic industry is currently subject to huge changes challenging it to offer products matching individual customer requirements at competitive prices.
Imane Mehdi
exaly +3 more sources
MCC: A Tool for Unfolding Colored Petri Nets in PNML Format [PDF]
Silvano Dal Zilio
exaly +1 more source
MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS [PDF]
In this paper we present a model of biometric identification system transformed into Petri Nets. Petri Nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems.
G. R. Petrosyan +2 more
doaj +1 more source
The presented review analyzes the approaches and methods of using simulation models in the maintenance and repair organization of the complex technical objects and systems.
Sergey P. Orlov, Sergey V. Susarev
doaj +1 more source
Simulation models are elements of science that use software tools to solve complex mathematical problems. They are beneficial in areas such as performance engineering and communications systems. Nevertheless, to achieve more accurate results, researchers
Tomasz Rak, Dariusz Rzonca
doaj +1 more source
Methods for Efficient Unfolding of Colored Petri Nets
Colored Petri nets offer a compact and user friendly representation of the traditional P/T nets and colored nets with finite color ranges can be unfolded into the underlying P/T nets, however, at the expense of an exponential explosion in size. We present two novel techniques based on static analysis in order to reduce the size of unfolded colored nets.
Alexander Bilgram +4 more
openaire +5 more sources
Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
Conformance checking methods diagnose to which extent a real system, whose behavior is recorded in an event log, complies with its specification model, e.g., a Petri net.
Julio C Carrasquel, Khalil Mecheraoui
doaj +1 more source

