OBJSA nets: a class of high-level nets having objects as domains

Information system behavior specification by high level Petri nets

ACM Transactions on Information Systems (TOIS)

Modular Algebraic Nets to Specify Concurrent Systems

IEEE Transactions on Software Engineering

Object oriented modelling with object petri nets

Concurrent object-oriented programming and petri nets

CLOWN as a testbed for concurrent object-oriented concepts

Concurrent object-oriented programming and petri nets

Modelling constrained geometric objects with OBJSA nets

Concurrent object-oriented programming and petri nets

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

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

A component-based Petri net model for specifying and validating cooperative information systems

Data & Knowledge Engineering

Compositional Semantics of a Real-Time Prototyping Language

IEEE Transactions on Software Engineering

Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology

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

Parameterized Net Classes: A Uniform Approach to Petri Net Classes

Unifying Petri Nets, Advances in Petri Nets

Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«

Unifying Petri Nets, Advances in Petri Nets

Rewriting Logic as a Unifying Framework for Petri Nets

Unifying Petri Nets, Advances in Petri Nets

Petri Net Modules

Journal of Integrated Design & Process Science - Component-Based System Development

Safety Properties In Petri Net Modules

Journal of Integrated Design & Process Science

Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets

Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper

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

Petri nets for protocol engineering

Computer Communications