Results 21 to 30 of about 27,619 (295)
Information and Computation, 1990 AbstractPetri nets are widely used to model concurrent systems. However, their composition and abstraction mechanisms are inadequate: we solve this problem in a satisfactory way. We start by remarking that place/transition Petri nets can be viewed as ordinary, directed graphs equipped with two algebraic operations corresponding to parallell and ...
MESEGUER J +1 more
openaire +2 more sources
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
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
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
, 2015 This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated process which, given behavioural specifications or partial ...
Badouel, E +2 more
openaire +3 more sources
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
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
IEEE Access, 2020 Efficient business process is important to the operations of supply chain finance (SCF). Many deficiencies exist in the processes of SCF such as complicated workflows and high time-consuming steps. However, few studies have paid attention to evaluate and
Xuhong Ye +4 more
doaj +1 more source
A Method of Sample Models of Program Construction in Terms of Petri Nets
Моделирование и анализ информационных систем, 2015 In the article a method of automated construction of Petri nets simulating the behaviour of imperative programs is considered from the formal point of view.
D. I. Kharitonov +3 more
doaj +1 more source
DESIGN AND IMPLEMENTATION OF DEADLOCK CONTROL FOR AUTOMATED MANUFACTURING SYSTEMS
South African Journal of Industrial Engineering, 2019 Petri nets are robust mathematical tools for the modelling, handling, and control of deadlock problems in automated manufacturing systems (AMSs). Several methods have been proposed to prevent deadlocks in AMSs.
Kaid, Husam +4 more
doaj +1 more source