Modelling mobility with petri hypernets

Authors:
Marek A. Bednarczyk;Luca Bernardinello;Wiesław Pawłowski;Lucia Pomello
Affiliations:
Institute of Computer Science, P.A.S., Gdańsk, Poland;DISCO, Università degli Studi di Milano Bicocca, Milano, Italy;Institute of Computer Science, P.A.S., Gdańsk, Poland;DISCO, Università degli Studi di Milano Bicocca, Milano, Italy
Venue:
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Year:
2004

Citing 11
Cited 21

The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrency in communicating object petri nets

Concurrent object-oriented programming and petri nets
Mobility Types for Mobile Ambients

ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Petri Nets as Token Objects: An Introduction to Elementary Object Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
On Concurrent Realization of Reactive Systems and Their Morphisms

Unifying Petri Nets, Advances in Petri Nets
Synthesis of Net Systems

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Some Decidability Results for Nested Petri Nets

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Transactions and Zero-Safe Nets

Unifying Petri Nets, Advances in Petri Nets
Mobile Petri Nets

Mobile Petri Nets
On Processes of Object Petri Nets

On Processes of Object Petri Nets
Modelling mobility and mobile agents using nets within nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Expressing and Verifying Temporal and Structural Properties of Mobile Agents

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Coding Mobile Synchronizing Petri Nets into Rewriting Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Code mobility modeling: a temporal labeled reconfigurable nets

Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications
A Multi-facet Approach to Dynamic Agent Systems

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hornets: Nets within Nets Combined with Net Algebra

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
On the Expressiveness of Communication Channels for Object Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Object nets for mobility

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Modeling symport/antiport P systems with a class of hierarchical Petri nets

WMC'07 Proceedings of the 8th international conference on Membrane computing
Safeness for Object Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Reference and value semantics are equivalent for ordinary object petri nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Symbolic semantics for the verification of security properties of mobile petri nets

ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Nets-Within-Nets paradigm and grid computing

Transactions on Petri Nets and Other Models of Concurrency V
Liveness of Safe Object Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On the Expressiveness of Communication Channels for Object Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A Multi-facet Approach to Dynamic Agent Systems

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
P- and t-systems in the nets-within-nets-formalism

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Expressing and Verifying Temporal and Structural Properties of Mobile Agents

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
On Compositionality of Boundedness and Liveness for Nested Petri Nets

Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Conservative Elementary Object Systems

Fundamenta Informaticae - Concurrency Specification and Programming CS&P

Quantified Score

Hi-index	0.00

Visualization

Abstract

Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions between agents, and provide means for a modular and hierarchical description. They are capable of modelling mobile agents tfrahat can dynamically change their hierarchy, and can communicate with each other and with the outside world by exchanging messages, i.e., other mobile agents.