In most studies about the expressiveness of Petri nets, the focus has been put either on adding suitable arcs or on assuring that a complete snapshot of the system can be obtained. While the former still complies with the intuition on Petri nets, the second is somehow an orthogonal approach, as Petri nets are distributed in nature. Here, inspired by membrane computing, we study some classes of Petri nets where the distribution is partially kept and which are still Turing complete.
Catalytic and communicating Petri nets are Turing complete
PINNA, GIOVANNI MICHELE
2014-01-01
Abstract
In most studies about the expressiveness of Petri nets, the focus has been put either on adding suitable arcs or on assuring that a complete snapshot of the system can be obtained. While the former still complies with the intuition on Petri nets, the second is somehow an orthogonal approach, as Petri nets are distributed in nature. Here, inspired by membrane computing, we study some classes of Petri nets where the distribution is partially kept and which are still Turing complete.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
paper127CiobanuPinna.pdf
accesso aperto
Descrizione: versione finale
Tipologia:
versione pre-print
Dimensione
281.94 kB
Formato
Adobe PDF
|
281.94 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.