Mobile Petri nets


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 form Petri Nets, we define a… (More)
DOI: 10.1017/S0960129509990193


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics