Mobile Petri nets

DOI10.1017/S0960129509990193zbMath1191.68427MaRDI QIDQ3655764

No author found.

Publication date: 12 January 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Place-Transition Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ Lifted structural invariant analysis of Petri net product lines ⋮ Coding Mobile Synchronizing Petri Nets into Rewriting Logic ⋮ Dynamic connectors for concurrency

Cites Work

• The chemical abstract machine
• A calculus of mobile processes. I
• Contextual nets
• Unnamed Item

This page was built for publication: Mobile Petri nets