Found 2 document(s)
Page 1 of 1
-
We introduce a subclass of Valk's self-modifying nets. The considered nets appear as statified sums of ordinary nets and they arise as a counterpart to cascade products of automata via the duality between automata and ne...
-
The behaviour of pure Petri nets (i.e. without side condition) is given by ordinary automata because all information about concurrency is encoded in the structure of the marking graphs. By contrast, the behaviour of (pos...