On Net Modeling of Industrial Size Concurrent Systems

Object oriented modelling with object petri nets

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

An Example Of Risk Assessment Of Software Systems Specifications

ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering

Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment

ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks

Deriving protocol specifications from service specifications written as predicate/transition-nets

Computer Networks: The International Journal of Computer and Telecommunications Networking

An integrated tool for development of overlay services

Proceedings of the 2nd International Conference on Simulation Tools and Techniques

Analyzing and completing middleware designs for enterprise integration using coloured petri nets

CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering