Results 21 to 30 of about 145,352 (236)
PEMBELAJARAN MATEMATIKA TERAPAN DENGAN MODEL PETRI NET DAN MATRIKS
Penelitian ini bertujuan untuk mengetahui model petri net dan matriks dari suatu permasalahan yang ada disekitar kita. Salah satunya adalah masalah antrian. Kita dapat memanfaatkan pembelajaran matematika untuk membuat model sistemnya.
Ruvita Iffahtur Pertiwi
doaj +1 more source
Analyzing the Behavior of Neuronal Pathways in Alzheimer's Disease Using Petri Net Modeling Approach. [PDF]
Ashraf J, Ahmad J, Ali A, Ul-Haq Z.
europepmc +2 more sources
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 Cyber–Physical Systems-Based Double-Layer Mapping Petri Net Model for Factory Process Flow Control
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]
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
Internet enabled modelling of extended manufacturing enterprises using the process based techniques [PDF]
The paper presents the preliminary results of an ongoing research project on Internet enabled process-based modelling of extended manufacturing enterprises.
Cheng, K, Popov, Y
core +1 more source
Petri Net Model and Reliability Evaluation for Wind Turbine Hydraulic Variable Pitch Systems
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
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
Performance Evaluation of Discrete Event Systems with GPenSIM
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
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

