On the Petri Nets with a Single Shared Place and Beyond

Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio +1

Petri nets proved useful to describe various real-world systems, but many of their properties are very hard to check. To alleviate this difficulty, subclasses are often considered.…