Starts with a brief review of the history and the application areas considered in the literature.
The author then proceeds with introductory modeling examples, behavioral and structural …

Reactive systems are computing systems which are interactive, such as real-time systems,
operating systems, concurrent systems, control systems, etc. They are among the most …

Progress, Justness, and Fairness Page 1 69 Progress, Justness, and Fairness ROB VAN
GLABBEEK and PETER HÖFNER, Data61, CSIRO and UNSW, Australia Fairness assumptions …

arxiv:2411.01592v1 [cs.FL] 3 Nov 2024 Page 1 arxiv:2411.01592v1 [cs.FL] 3 Nov 2024
Decidability Issues for Petri Nets – a survey1 Javier Esparza∗ Mogens Nielsen Institut für …

Workflow management technology promises a flexible solution for business-process support
facilitating the easy creation of new business processes and modification of existing …

Abstract Structure theory asks whether a relationship can be found between the behaviour of
a marked net and the structure of the underlying unmarked net. From the rich body of …

This paper describes the thriving application of Petri net theory for model validation of
different types of molecular biological systems. After a short introduction into systems biology …

We report on new strategies for model checking quantitative reachability properties of
Markov decision processes by successive refinements. In our approach, properties are …

Fairness has been examined from different viewpoints and in varied semantic models, for
example, CCS, guarded commands, Petri nets, and automata. Classification of fairness …

This paper develops a new testing-based semantic theory of processes that aims to
circumvent difficulties that traditional testing/failures theories have in dealing with divergent …