Mobile Petri nets

DOI10.1017/S0960129509990193MaRDI QIDQ3655764zbMATH OpenFDO

Authors

Publication date 12 January 2010

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

Full work available at URL https://doi.org/10.1017/S0960129509990193

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)

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Modelling mobile IP with mobile Petri nets
• A Petri nets application in the mobile telephony
• On the expressiveness of mobile synchronizing Petri nets
• Recent Trends in Algebraic Development Techniques
• A Petri net semantics of a simple process algebra for mobility
• scientific article; zbMATH DE number 3922334
• Petri nets
• scientific article; zbMATH DE number 979001

Cites work

• A calculus of mobile processes. I
• Contextual nets
• scientific article; zbMATH DE number 4028914 (Why is no real title available?)
• The chemical abstract machine

Cited in

(19)

• Dynamic connectors for concurrency
• Lifted structural invariant analysis of Petri net product lines
• Higher-order nets for mobile policies
• A Petri net semantics of a simple process algebra for mobility
• On the expressiveness of mobile synchronizing Petri nets
• Coding mobile synchronizing Petri nets into rewriting logic
• When to move to transfer nets. On the limits of Petri nets as models for process calculi
• Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets
• Replicated Ambient Petri Nets
• Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
• Non-sequential Behaviour of Dynamic Nets
• Modelling mobile IP with mobile Petri nets
• scientific article; zbMATH DE number 1304367 (Why is no real title available?)
• Event structures for Petri nets with persistence
• scientific article; zbMATH DE number 2104623 (Why is no real title available?)
• A distributed implementation of mobile nets as mobile agents
• scientific article; zbMATH DE number 7147446 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• On reversibility in Petri nets

This page was built for publication: Mobile Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655764)