Results 41 to 50 of about 315,703 (191)

A brief introduction to coloured Petri Nets [PDF]

, 1997
Coloured Petri Nets (CP-nets or CPN) is a graphical oriented language for design, specification, simulation and verification of systems. It is in particular well-suited for systems in which communication, synchronisation and resource sharing are important.
openaire   +2 more sources

Two Algebraic Process Semantics for Contextual Nets

, 2001
We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places.
SASSONE V., Roberto Bruni, BRUNI, ROBERTO, Bruni, R., Vladimiro Sassone, Sassone, V.   +5 more
core   +1 more source

Guaranteeing Correctness of Machine Learning Based Decision Making at Higher Educational Institutions

IEEE Access, 2021
State-of-the-art software technologies have enabled Higher Education Institutions to record and store large amounts of student data. Analyzing this large amount of data can facilitate the decision-making process.
Muhammad Nauman, Nadeem Akhtar, Adi Alhudhaif, Abdulrahman Alothaim   +3 more
doaj   +1 more source

A symbolic reachability graph for coloured petri nets

Theoretical Computer Science, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
G. CHIOLA, C. DUTHEILLET, FRANCESCHINIS, Giuliana Annamaria, S. HADDAD   +3 more
openaire   +4 more sources

The Algebraic Structure of Petri Nets

, 2004
This survey retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri ...
Sassone, V.
core   +1 more source

On the Algebraic Structure of Petri Nets

, 2000
This paper retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri ...
Sassone, V.
core   +1 more source

Application of Coloured Petri Nets for Verification of Scenario Control Structures in UCM Notation

Моделирование и анализ информационных систем, 2016
This article presents a method for the analysis and verification of Use Case Maps (UCM) models with scenario control structures — protected components and failure handling constructs.
N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko   +2 more
doaj   +1 more source

Characterizing Behavioural Congruences for Petri Nets

, 1995
We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of behaviour, viz., traces, maximal traces, step, and ...
Priese, L., Nielsen, M., Lutz Priese, Vladimiro Sassone, Sassone, V., Mogens Nielsen   +5 more
core   +2 more sources

Development of an imitation model of information protection system from unauthorized access using the cpn tools software

Безопасность информационных технологий, 2019
[1]     SZI «Strazh NT». Rukovodstvo administratora. URL: http://www.guardnt.ru/download/doc/admin_guide_nt_3_0.pdf (accessed: 25.05.2019) (in Russian). [2]     Sistema zashchity informacii ot nesankcionirovannogo dostupa «Strazh NT».
Oksana I. Bokova, Dmitry I. Korobkin, Sergey A. Kukharev, Anton D. Popov   +3 more
doaj   +1 more source

Towards a Modular Analysis of Coloured Petri Nets

DAIMI Report Series, 1992
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to create compact representations of data and action, the size of models has been increasing.
Søren Christensen, Laure Petrucci
openaire   +2 more sources