Results 81 to 90 of about 1,192,885 (178)

Business process verification: a Petri Net approach. [PDF]

In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification.
De Backer, Manu, Snoeck, Monique
core  

Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification

, 2001
This paper presents a new modelling technique capable of modelling both control and data information using a single unified approach. This is achieved by modifying the classical Petri Net structure, allowing it to have two types of transitions and arcs ...
Varea, Mauricio, Al-Hashimi, Bashir M.
core   +1 more source

Abstracts

Molecular Oncology, Volume 20, Issue S1, Page 1-692, August 2026.
Abstracts submitted to the ‘EACR 2026 Congress: Innovative Cancer Science’, from 08–11 June 2026 and accepted by the Congress Organising Committee are published in this Supplement of Molecular Oncology, an affiliated journal of the European Association for Cancer Research (EACR).
wiley   +1 more source

Specification and Verification of Medical Monitoring System Using Petri-nets

Journal of Medical Signals and Sensors, 2014
To monitor the patient behavior, data are collected from patient′s body by a medical monitoring device so as to calculate the output using embedded software. Incorrect calculations may endanger the patient′s life if the software fails to meet the patient′
Negar Majma, Seyed Morteza Babamir
doaj  

A Petri Net-based Approach to Reconfigurable Manufacturing Systems Modeling [PDF]

Journal of Systemics, Cybernetics and Informatics, 2009
Reconfigurable manufacturing systems (RMSs) have been used to provide manufacturing companies with the required capacities and capabilities, when needed.
Linda L. Zhang, Brian Rodrigues
doaj  

An Improved Deadlock Recovery Policy of Flexible Manufacturing Systems Based on Resource Flow Graphs

IEEE Access
The system deadlock problem of the flexible manufacturing system (FMS) needs to be solved urgently. Deadlocks may occur when resources are repeatedly requested by multiple working processes, where such competition causes a lack of resources, and the ...
Ching-Yun Tseng, Ju-Chin Chen, Yen-Liang Pan   +2 more
doaj   +1 more source

PETRI NET BASED APPROACHES TO MANUFACTURING SYSTEMS [PDF]

This paper describes the planning in manufacturing systems. The skeleton and the functionality of a Petri Net Toolbox, embedded in the Matlab environment, are briefly presented, as offering a collection of instruments devoted to simulation, analysis and ...
Mihaela Elisabeta CIORTEA
core  

Precision Evaluation Methods of Petri Nets Modelling Discrete-Event Processes

Modelling and Simulation in Engineering
In process mining, conformance checking determines the quality of discrete-event process models through several measures computed with respect to a set of event sequences λ from which the model N is obtained.
Ernesto López-Mellado, Rubén Barragán-Pérez   +1 more
doaj   +1 more source

Dynamic modeling of web purchase behavior and e-mailing impact by Petri net [PDF]

In this article, the authors introduce Petri nets to model the dynamics of web site visits and purchase behaviors in the case of wish list systems.
BALAGUE, Christine, LEE, Janghyuk
core  

A unifying Petri net model of non-interference and non-deducibility information flow security

, 1991
In this paper we introduce FIFO Information Flow Nets (FIFN) as a model for describing information flow security properties. The FIFN is based on Petri nets and has been derived from the work described in [Var89], [Var90] and [Rou86].
Varadharajan, V., Sassone, V.
core   +1 more source