Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN

Experiences in modelling feature interactions with coloured Petri Nets

Acta Cybernetica

An Example Of Risk Assessment Of Software Systems Specifications

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

Implementing Coloured Petri Nets Using a Functional Programming Language

Higher-Order and Symbolic Computation

A user-centric federated single sign-on system

Journal of Network and Computer Applications

Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets