High-Level Petri Nets

Stochastic High-Level Petri Nets and Applications

IEEE Transactions on Computers

Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions

IEEE Transactions on Software Engineering

Performance analysis of multistage interconnection networks with a new high-level net model

Journal of Systems Architecture: the EUROMICRO Journal

Verification of a Hierarchical Generic Mutual Exclusion Algorithm

FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

A process-oriented model for authentication on the basis of a coloured Petri net

BPM'03 Proceedings of the 2003 international conference on Business process management