Results 1 to 10 of about 411,715 (285)

Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems

open access: yesIEEE Access, 2020
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

Application of Hierarchical Colored Petri Nets for Technological Facilities’ Maintenance Process Evaluation

open access: yesApplied Sciences (Switzerland), 2021
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

open access: yesApplied Sciences (Switzerland), 2017
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

Reliability, Availability, and Maintainability Assessment of a Mechatronic System Based on Timed Colored Petri Nets

open access: yesApplied Sciences (Switzerland)
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

MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS [PDF]

open access: yesThe International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2015
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

Simulation models based on Petri nets for the analysis of maintenance and repair processes of complex technical systems

open access: yesВестник Самарского государственного технического университета. Серия: Технические науки, 2022
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

Recommendations for Using QPN Formalism for Preparation of Incoming Request Stream Generator in Modeled System

open access: yesApplied Sciences, 2021
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

open access: yesFundamenta Informaticae, 2023
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

open access: yesМоделирование и анализ информационных систем, 2021
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

Home - About - Disclaimer - Privacy