Modular analysis of concurreney in Petri nets
The goal of this paper is to study the relationships between the concurrency-degrees of a Petri net and those of its subnets.
modular analysis petri nets models of parallel/distributed systems concurrency