Synthesis of elementary net systems with context arcs and localities

M Koutny, M Pietkiewicz-Koutny - Fundamenta Informaticae, 2008 - content.iospress.com
We investigate the synthesis problem for ENCL-systems, defined as Elementary Net
Systems extended with context (inhibitor and activator) arcs and explicit event localities …

[PDF][PDF] Algorithms for the synthesis of elementary net systems with localities

A Ahmed, M Pietkiewicz-Koutny - … Workshop on Petri …, 2020 - informatik.uni-hamburg.de
Elementary Net Systems with Localities (ENL-systems) is a class of Petri nets introduced to
model GALS (globally asynchronous locally synchronous) systems, where some of the …

Regions of Petri nets with a/sync connections

J Kleijn, M Koutny, M Pietkiewicz-Koutny - Theoretical Computer Science, 2012 - Elsevier
Automated synthesis from behavioural specifications, such as transition systems, is an
attractive way of constructing correct concurrent systems. In this paper, we investigate the …

[PDF][PDF] Petri nets and membrane computing

J Kleijn, M Koutny - School of Computing Science Technical Report Series, 2008 - Citeseer
Petri nets are a well-established model of concurrent and distributed computation featuring a
wealth of tools for the analysis and verification of their behavioural properties. Like …

Process discovery and Petri nets

N Busi, GM Pinna - Mathematical Structures in Computer Science, 2009 - cambridge.org
The aim of the research domain known as process mining is to use process discovery to
construct a process model as an abstract representation of event logs. The goal is to build a …

Minimal regions of ENL-transition systems

M Koutny, M Pietkiewicz-Koutny - Fundamenta Informaticae, 2010 - content.iospress.com
One of the possible ways of constructing concurrent systems is their automated synthesis
from behavioural specifications. In this paper, we look at a particular instance of this …

Algorithms and tool support for the synthesis of elementary net systems with localities

AOA Ahmed - 2023 - theses.ncl.ac.uk
Elementary Net Systems with Localities (ENL-systems) is a class of Petri nets introduced to
model GALS (globally asynchronous locally synchronous) systems, where some of the …

Research on Petri net system parallel subnet partitioning completeness theory and algorithm

W Li, S Li, J Lu - Wuhan University Journal of Natural Sciences, 2019 - Springer
In order to solve the parallel algorithm of Petri net system with concurrent function, so as to
achieve the parallel control and simulation operation of this system, this paper proposes the …

[PDF][PDF] Synthesis of PTL-nets with Partially Localised Conflicts

M Koutny, M Pietkiewicz-Koutny - School of Computing Science Technical …, 2009 - Citeseer
We discuss the problem of constructing PT-nets with localities (PTL-nets) from transition
systems with arcs labelled by multisets of transitions (steps). We first outline how this can be …

[PDF][PDF] Using metaheuristics and SPC in the analysis of state spaces of Petri nets

EJ Serrano - Medwell Journal of Engineering and Applied …, 2010 - researchgate.net
Reachability problems of state spaces derived from Petri nets are mainly tackled through
structure analysis of the network and state space analysis of the behavior of the network …