Unifying Petri Nets, Advances in Petri Nets

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)

A methodology to specify three-dimensional interaction using Petri Nets

Journal of Visual Languages and Computing

Petri algebras

ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)