An environment for object-oriented conceptual programming based on PROT nets
Advances in Petri Nets 1988
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
A theory of higher order communicating systems
Information and Computation
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Multiagent systems: a modern approach to distributed artificial intelligence
Multiagent systems: a modern approach to distributed artificial intelligence
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling
EUROCAST '97 Proceedings of the A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
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
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Relating Different Semantics for Object Petri Nets
Relating Different Semantics for Object Petri Nets
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
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Design and modeling of the multi-agent robotic system: SMART
Robotics and Autonomous Systems
On the Expressiveness of Communication Channels for Object Nets
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
| Hi-index | 0.00 |
Agent technology is widely recognized as a new paradigm for design of concurrent software and systems. The aim of this paper is to give a mathematical foundation for design and analysis of multi-agent systems by means of a Petri-net-based model. The proposed model, called PN2, is based on place/transition nets (P/T nets), which is one of the simplest classes of Petri nets. The main difference between PN2s and P/T nets is that each token, representing an agent, is also a P/T net. State equation and invariants are known as standard techniques for the analysis of P/T nets. As the first step of mathematical analysis of PN2s, we define these for PN2s, and show how the invariants are computed in an efficient way.