Modelling mobility with Petri hypernets

DOI10.1007/978-3-540-31959-7_2MaRDI QIDQ5703993zbMATH OpenOpenAlexDBLPFDO

Authors Marek Bednarczyk, Luca Bernardinello, Wiesław Pawłowski, Lucia Pomello

Publication date 11 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107129

Mathematics Subject Classification ID

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

Recommendations

• Object Nets for Mobility
• Expressing and verifying temporal and structural properties of mobile agents
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Modelling the structure and behaviour of Petri net agents
• A distributed implementation of mobile nets as mobile agents

Cited in

(9)

• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Coding mobile synchronizing Petri nets into rewriting logic
• High-level modelling of cooperative mobile robot systems
• Object Nets for Mobility
• Hornets: Nets within Nets Combined with Net Algebra
• Mobile Petri nets
• Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Expressing and verifying temporal and structural properties of mobile agents

This page was built for publication: Modelling mobility with Petri hypernets

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