Results 21 to 30 of about 145,993 (337)
IEEE Access, 2017 This paper presents a new method of computing a minimal supervisory structure that optimally enforces liveness on the Petri net models for flexible manufacturing systems (FMSs).
Muhammad Bashir +6 more
doaj +1 more source
A new approach for diagnosability analysis of Petri nets using Verifier Nets [PDF]
, 2012 In this paper, we analyze the diagnosability properties of labeled Petri nets. We consider the standard notion of diagnosability of languages, requiring that every occurrence of an unobservable fault event be eventually detected, as well as the stronger ...
Cabasino MP +3 more
core +2 more sources
A Cyber–Physical Systems-Based Double-Layer Mapping Petri Net Model for Factory Process Flow Control
Applied Sciences, 2023 This study is concerned with the imperfect virtual-reality mapping relationship in cyber–physical systems (CPSs) and the challenge faced in knowledge-based decisions. Regarding those problems, a double-layer mapping Petri net (DMPN) model is proposed. By
Yuhai Yang, Xiaodong Liu, Wei Lu
doaj +1 more source
PN2Maude: An automatic tool to generate Maude specification for Petri net models [PDF]
Computer Science Journal of Moldova, 2023 Currently, Model-Driven Engineering (MDE) plays a key role in the software development process as it aims to handle their increasing complexity and focuses on the automatic generation of code and/or specifications from system models.
Ammar Boucherit +3 more
doaj +1 more source
Adjunct hexagonal array token Petri nets and hexagonal picture languages [PDF]
, 2014 Adjunct Hexagonal Array Token Petri Net Structures (AHPN) are re- cently introduced hexagonal picture generating devices which extended the Hexag- onal Array Token Petri Net Structures .
Kamaraj, T. +4 more
core +1 more source
Journal of Marine Science and Engineering, 2023 The purpose of this study is to show how coloured Petri nets can be used to select the crossing rules guaranteeing that two ships avoid collisions at sea in accordance with the international regulations on this matter.
Vladimir Brozovic +3 more
doaj +1 more source
Evolving concurrent Petri net models of epistasis [PDF]
, 2010 A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational models of concurrent processes.
Beretta, Lorenzo, Mayo, Michael
core +1 more source
Petri Net Model and Reliability Evaluation for Wind Turbine Hydraulic Variable Pitch Systems
Energies, 2011 Based on an analysis of the working principles of the hydraulic variable pitch system of a wind turbine, a novel Petri net model and reliability evaluation method are proposed.
Xiyun Yang, Jinxia Li, Peng Guo, Wei Liu
doaj +1 more source
Performance Evaluation of Discrete Event Systems with GPenSIM
Computers, 2018 Petri nets are a useful tool for the modeling and performance evaluation of discrete event systems. Literature reveals that the Petri Net models of real-world discrete event systems are most frequently event graphs (a subclass of Petri nets).
Reggie Davidrajuh +2 more
doaj +1 more source
Petri Net Modeling for Ising Model Formulation in Quantum Annealing
Applied Sciences, 2021 Quantum annealing is an emerging new platform for combinatorial optimization, requiring an Ising model formulation for optimization problems. The formulation can be an essential obstacle to the permeation of this innovation into broad areas of everyday ...
Morikazu Nakamura +2 more
doaj +1 more source