184 search results - page 17 / 37 » Distributed Unfolding of Petri Nets |
PACT
2001
Springer
14 years 3 days ago
2001
Springer
CONCUR
2001
Springer
14 years 5 days ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
CONCUR
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. 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 ...
CONCUR
2001
Springer
14 years 5 days ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
