Results 31 to 40 of about 21,375,197 (296)
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
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
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
Mapping RT-LOTOS specifications into Time Petri Nets [PDF]
, 2006 RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri ...
Boyer, Marc +7 more
core +1 more source
Input–Output Constrained Colored Petri Nets for Dependable System Controllers
IEEE AccessPetri nets are widely used in the study of dependable systems, as they combine intuitive graphical modeling with a solid mathematical foundation for formal analysis.
Carolina Lagartinho-Oliveira +2 more
doaj +1 more source
Liver organoids: modelling complexity in homeostasis and disease
FEBS Letters, EarlyView.Studying liver in vitro has been challenging because simple 2D cell cultures fail to capture liver's cellular and architectural complexity. To bridge this gap, scientists increasingly use organoids, 3D liver models which better mimic liver composition and function. This review examines recent advances in liver organoid complexity and realism, discusses
Anna M. Dowbaj, Meritxell Huch
wiley +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