We add mobility to Place-Transition Petri Nets: tokens are names for places, and an input token of a transition can be used in its postset to specify a destination. Mobile Petri Nets are then further extended to Dynamic Nets, by adding the possibility of creating new nets during the firing of a transition. In this way, starting from Petri Nets, we define a simple hierarchy of nets with increasing degrees of dynamicity. For each class in this hierarchy we provide its encoding in the former class. Our work has been largely inspired by the join-calculus of Fournet and Gonthier, that turns out to be a (well motivated) particular case of Dynamic Petri Nets. The main difference is that, in the preset of a transition, we allow for both non-linear patterns (name unification) and (locally) free names for input places (i.e. we remove the locality constraint, and preserve reflexion).

Mobile Petri nets

ASPERTI, ANDREA;
2009

Abstract

We add mobility to Place-Transition Petri Nets: tokens are names for places, and an input token of a transition can be used in its postset to specify a destination. Mobile Petri Nets are then further extended to Dynamic Nets, by adding the possibility of creating new nets during the firing of a transition. In this way, starting from Petri Nets, we define a simple hierarchy of nets with increasing degrees of dynamicity. For each class in this hierarchy we provide its encoding in the former class. Our work has been largely inspired by the join-calculus of Fournet and Gonthier, that turns out to be a (well motivated) particular case of Dynamic Petri Nets. The main difference is that, in the preset of a transition, we allow for both non-linear patterns (name unification) and (locally) free names for input places (i.e. we remove the locality constraint, and preserve reflexion).
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11585/82673
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 18
  • ???jsp.display-item.citation.isi??? 16
social impact