This paper retraces, collects, and summarises contributions of the authors --- in collaboration with others --- on the theme of Petri nets and their categorical relationships to other models of concurrency
AbstractTwo ways of describing the behaviour of concurrent systems have widely been suggested: arbit...
This report surveys a range of models for parallel computation to include interleaving models like t...
We introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory o...
AbstractSeveral categorical relationships (adjunctions) between models for concurrency have been est...
Several categorical relationships (adjunctions) between models for concurrency have been established...
AbstractThe general aim of this paper is to find a theory of concurrency combining the approaches of...
AbstractPetri nets are widely used to model concurrent systems. However, their composition and abstr...
In the last few years, the semantics of Petri nets has been investigated in several different ways. ...
International audienceA wide variety of models for concurrent programs has been proposed during the ...
AbstractThis work builds a bridge from •clustering techniques—merging neighbouring nodes which is a ...
Labelled transition systems can be extended to faithfully model concurrency by permitting transitio...
Two ways of describing the behaviour of concurrent systems have widely been suggested: arbitrary int...
The personal contacts of the first author with Carl Adam Petri and Petri nets are initially describe...
We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can...
AbstractIn the last few years, the semantics of Petri nets has been investigated in several differen...
AbstractTwo ways of describing the behaviour of concurrent systems have widely been suggested: arbit...
This report surveys a range of models for parallel computation to include interleaving models like t...
We introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory o...
AbstractSeveral categorical relationships (adjunctions) between models for concurrency have been est...
Several categorical relationships (adjunctions) between models for concurrency have been established...
AbstractThe general aim of this paper is to find a theory of concurrency combining the approaches of...
AbstractPetri nets are widely used to model concurrent systems. However, their composition and abstr...
In the last few years, the semantics of Petri nets has been investigated in several different ways. ...
International audienceA wide variety of models for concurrent programs has been proposed during the ...
AbstractThis work builds a bridge from •clustering techniques—merging neighbouring nodes which is a ...
Labelled transition systems can be extended to faithfully model concurrency by permitting transitio...
Two ways of describing the behaviour of concurrent systems have widely been suggested: arbitrary int...
The personal contacts of the first author with Carl Adam Petri and Petri nets are initially describe...
We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can...
AbstractIn the last few years, the semantics of Petri nets has been investigated in several differen...
AbstractTwo ways of describing the behaviour of concurrent systems have widely been suggested: arbit...
This report surveys a range of models for parallel computation to include interleaving models like t...
We introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory o...
DOI
Add to ORKG