Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs

A logical theory of concurrent objects

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications

Modular Algebraic Nets to Specify Concurrent Systems

IEEE Transactions on Software Engineering

An object-based modular CPN approach: its application to the specification of a cooperative editing environment

Concurrent object-oriented programming and petri nets

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

Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets

IEEE Transactions on Computers

Formal Description and Verification of Web Service Composition Based on OOPN

ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues

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