What is scalability in multi-agent systems?
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Performance management of mobile agent systems
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
Formal specification of CORBA services: experience and lessons learned
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
Using petri nets for specifying active objects and generative communication
Concurrent object-oriented programming and petri nets
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
Concurrent object-oriented programming and petri nets
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
CoOperative objects: principles, use and implementation
Concurrent object-oriented programming and petri nets
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
Modeling a groupware editing tool with cooperative objects
Concurrent object-oriented programming and petri nets
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
High level transition systems for communicating agents
Concurrent object-oriented programming and petri nets
Modeling a library with THORNs
Concurrent object-oriented programming and petri nets
Object coloured Petri nets - a formal technique for object oriented modelling
Concurrent object-oriented programming and petri nets
Control properties in object-oriented specifications
Concurrent object-oriented programming and petri nets
A survey of theories for mobile agents
World Wide Web
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Formal Specification and Prototyping of CORBA Systems
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Net-Based Multi-tier Behavior Inheritance Modelling Method
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
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
Modelling the Structure and Behaviour of Petri Net Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in 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
Petri Net Based Behavioural Specification of CORBA Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Concurrency in CoOperative Objects
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
Modelling of batch production systems using Petri nets with dynamic tokens
Mathematics and Computers in Simulation
Journal of Integrated Design & Process Science - Component-Based System Development
Safety Properties In Petri Net Modules
Journal of Integrated Design & Process Science
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
On Reachability Analysis of Multi Agent Nets
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A framework for facilitating cooperation in multi-agent systems
The Journal of Supercomputing
Prototyping object oriented specifications
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Closing the gap between object-oriented modeling of structure and behavior
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae
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
Expressiveness and efficient analysis of stochastic well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Petri nets for protocol engineering
Computer Communications
Testing and Debugging Message Passing Programs in Synergy with their Specifications
Fundamenta Informaticae
Hi-index | 0.00 |