Results 31 to 40 of about 31,117 (298)
Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems [PDF]
Computer Science, 2002 The main aim ofthe paper is a presentation of time extensions of Petri nets appropriate for modelling and analysis of hard real-time systems. It is assumed, that the extensions must provide a model of time flow an ability to force a transition to fire ...
Tomasz Szmuc, Slawomir Samolej
doaj
, 1991 High level Petri nets have tokens with values, traditionally called colors, and transitions that produce tokens in a functional way, using the consumed tokens as arguments of the function application. Large nets should be designed in a topdown approach and therefore we introduce a hierarchical net model which combines a data flow diagram technique with
Kees M. van Hee +2 more
openaire +3 more sources
Petri Net Model for Serious Games Based on Motivation Behavior Classification
International Journal of Computer Games Technology, 2013 Petri nets are graphical and mathematical tool for modeling, analyzing, and designing discrete event applicable to many systems. They can be applied to game design too, especially to design serous game. This paper describes an alternative approach to the
Moh. Aries Syufagi +2 more
doaj +1 more source
Discovering High-Level Process Models from Event Logs
Моделирование и анализ информационных систем, 2017 Process mining is a relatively new field of computer science, which deals with process discovery and analysis based on event logs. In this paper we consider the problem of discovering a high-level business process model from a low-level event log, i.e ...
Antonina A. Begicheva, Irina A. Lomazov
doaj +1 more source
Integration of a failure monitoring within a hybrid dynamic simulation environment [PDF]
, 2008 The complexity and the size of the industrial chemical processes induce the monitoring of a growing number of process variables. Their knowledge is generally based on the measurements of system variables and on the physico-chemical models of the process.
Alur +31 more
core +2 more sources
An Introduction to High-Level Petri Nets
DAIMI Report Series, 1985 <p>This paper describes a Petri net model, where information is attached to each token and when a transition fires, it can inspect and modify the information. The model is based on predicate/transitions (Genrich and Lautenbach) and on coloured Petri nets (Jensen).</p><p>This generalization of ordinary Petri nets allows, for many ...
openaire +3 more sources
DOES YOUR EVENT LOG FIT THE HIGH-LEVEL PROCESS MODEL?
Моделирование и анализ информационных систем, 2015 Process mining is a relatively new field of computer science, which deals with process discovery and analysis based on event logs. In this paper we consider the problem of models and event logs conformance checking.
A. K. Begicheva, I. A. Lomazova
doaj +1 more source
Integrated power supply system for station equipment of rail traffic control
MATEC Web of Conferences, 2018 Railway Traffic Control Systems (RTCS) provide a safe, reliable and efficient movement of rolling stock on railway networks. RTCSs are classified as critical process systems.
Mielnik Ryszard, Wróbel Zofia
doaj +1 more source
Digital Communications and Networks, 2023 The inability of traditional privacy-preserving models to protect multiple datasets based on sensitive attributes has prompted researchers to propose models such as SLOMS, SLAMSA, (p, k)-Angelization, and (p, l)-Angelization, but these were found to be ...
Tehsin Kanwal +4 more
doaj +1 more source
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets [PDF]
, 2013 We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation.
Hüchting, Reiner +2 more
core +1 more source