2 search results - page 1 / 1 » Petri nets are less expressive than state-extended PA |
TCS
2008
13 years 4 months ago
2008
We show that the class of Petri nets is less expressive with respect to bisimulation equivalence than the class of PA processes extended with a finite state control unit. Key word...
CONCUR
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...