Learn More
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(More)