RT Book, Section
T1 Name creation vs. replication in Petri net systems
A1 Rosa Velardo, Fernando
A1 Frutos Escrig, David de
A2 Kleijn, Jetty
A2 Yakovlev, Alex
AB We study the relationship between name creation and replication in a setting of infinite-state communicating automata. By name creation we mean the capacity of dynamically producing pure names, with no relation between them other than equality or inequality. By replication we understand the ability of systems of creating new parallel identical threads, that can synchronize with each other. We have developed our study in the framework of Petri nets, by considering several extensions of P/T nets. In particular, we prove that in this setting name creation and replication are equivalent, but only when a garbage collection mechanism is added for idle threads. However, when simultaneously considering both extensions the obtained model is, a bit surprisingly, Turing complete and therefore, more expressive than when considered separately.
PB Springer
SN 978-3-540-73093-4
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/53217
UL https://hdl.handle.net/20.500.14352/53217
LA eng
DS Docta Complutense
RD 1 may 2024