There and back again: on the reconstructability and rediscoverability of typed Jackson nets
A process discovery algorithm aims to construct a model from data generated by historical
system executions such that the model describes the system well. Consequently, one …
system executions such that the model describes the system well. Consequently, one …
[LIBRO][B] Process Algebras for Petri Nets
R Gorrieri - 2017 - Springer
This introductory chapter outlines the main problem dealt with in this book: finding suitable
languages for representing classes of Petri nets, taking inspiration from the process …
languages for representing classes of Petri nets, taking inspiration from the process …
Connector algebras for C/E and P/T nets' interactions
A quite flourishing research thread in the recent literature on component-based systems is
concerned with the algebraic properties of different classes of connectors. In a recent paper …
concerned with the algebraic properties of different classes of connectors. In a recent paper …
Transformations in reconfigurable place/transition systems
U Prange, H Ehrig, K Hoffmann, J Padberg - … on the Occasion of His 65th …, 2008 - Springer
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules
which allow the modification of the net during runtime in order to adapt the net to new …
which allow the modification of the net during runtime in order to adapt the net to new …
Nested-unit Petri nets
H Garavel - Journal of Logical and Algebraic Methods in …, 2019 - Elsevier
Petri nets can express concurrency and nondeterminism but neither locality nor hierarchy.
This article presents an extension of Petri nets, in which places can be grouped into so …
This article presents an extension of Petri nets, in which places can be grouped into so …
[PDF][PDF] Iteration in discrete time stochastic Petri box calculus
IV Tarasyuk - Bulletin of the Novosibirsk Computing Center, Series …, 2006 - nccbulletin.ru
In the last decades, a number of stochastic enrichments of process algebras was
constructed to specify stochastic processes within the well-developed framework of …
constructed to specify stochastic processes within the well-developed framework of …
Stochastic Petri box calculus with discrete time
IV Tarasyuk - Fundamenta Informaticae, 2007 - content.iospress.com
In the last decades, a number of stochastic enrichments of process algebras was
constructed to allow one for specification of stochastic processes within the well-developed …
constructed to allow one for specification of stochastic processes within the well-developed …
Nested-Unit Petri Nets: A structural means to increase efficiency and scalability of verification on elementary nets
H Garavel - Application and Theory of Petri Nets and Concurrency …, 2015 - Springer
Petri nets can express concurrency and nondeterminism but not hierarchy. This article
presents an extension of Petri nets, in which places can be grouped into so-called “units” …
presents an extension of Petri nets, in which places can be grouped into so-called “units” …
A behavioural congruence for web services
Web services are emerging as a promising technology for the development of next
generation distributed heterogeneous software systems. We define a new behavioural …
generation distributed heterogeneous software systems. We define a new behavioural …
Combining eca rules with process algebras for the semantic web
E Behrends, O Fritzen, W May… - … Conference on Rules …, 2006 - ieeexplore.ieee.org
We describe how event-condition-action (ECA) rules can be combined with process
algebras like CCS as specification of the action part to obtain a powerful, declarative …
algebras like CCS as specification of the action part to obtain a powerful, declarative …