Name creation vs. replication in Petri net systems



Downloads per month over past year

Rosa Velardo, Fernando and Frutos Escrig, David de (2007) Name creation vs. replication in Petri net systems. In Petri Nets and Other Models of Concurrency – ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings. Lecture notes in computer science (4546). Springer, pp. 402-422. ISBN 978-3-540-73093-4

[thumbnail of Frutos14oficial.pdf] PDF
Restringido a Repository staff only


Official URL:


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.

Item Type:Book Section
Subjects:Sciences > Computer science
ID Code:20676
Deposited On:05 Apr 2013 12:03
Last Modified:31 Aug 2018 10:10

Origin of downloads

Repository Staff Only: item control page