Petri nets: an introduction
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Analysis patterns: reusable objects models
Analysis patterns: reusable objects models
Modelling network topology and mobile agent interaction: an integrated framework
Proceedings of the 1999 ACM symposium on Applied computing
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent-Systems Based on Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Coloured Petri Nets Extended with Channels for Synchronous Communication
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A Framework for Modeling Agent-Oriented Software
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Mobile Petri Nets
Concurrent architecture for a multi-agent platform
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Mobile Object-Net Systems and their Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
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
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal architectural models for agent-based service systems
International Journal of Computer Applications in Technology
The Reachability Problem for Object Nets
Fundamenta Informaticae - Special Issue on 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)
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Web service orchestration with super-dual object nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Modeling hierarchical mobile agent security protocol using CP nets
HiPC'07 Proceedings of the 14th international conference on High performance computing
Requirements and tools for the debugging of multi-agent systems
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Model-based testing approach for mobile agents using the paradigm of reference net
Multiagent and Grid Systems
Translation of nets within nets in cross-organizational software process modeling
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
A distributed implementation of mobile nets as mobile agents
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
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
Modelling mobility with petri hypernets
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Towards a distributed tool platform based on mobile agents
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Providing an agent flavored integration for workflow management
Transactions on Petri Nets and Other Models of Concurrency V
Invariant analysis for ordering constraints of multi-view business process model
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
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)
The Reachability Problem for Object Nets
Fundamenta Informaticae - Special Issue on 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
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
Mobile Object-Net Systems and their Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Concurrency in Mobile Object Net Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Modeling smart home using the paradigm of nets within nets
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Conservative Elementary Object Systems
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
| Hi-index | 0.00 |
Mobility creates a new challenge for dynamic systems in all phases of the life cycle, like modelling, execution, and verification. In this work we apply the paradigm of "nets within nets" to this area since it is well suited to express the dynamics of open, mobile systems. The advantages of Petri nets - intuitive graphical representation and formal semantics - are retained and supplemented with a uniform way to model mobility and mobile (agent) systems. First the modelling of mobility is introduced in general, the results are carried forward to model mobility in the area of agent systems. The usefulness of the approach is shown in a second step by modelling a small case study, the implementation of a household robot system.