Modelling Concurrent Accesses to Shared Data via Petri Nets

Transactions and Zero-Safe Nets

Unifying Petri Nets, Advances in Petri Nets

Concurrent models for Linda with transactions

Mathematical Structures in Computer Science

Domain and event structure semantics for Petri nets with read and inhibitor arcs

Theoretical Computer Science

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets

Fundamenta Informaticae

Abstraction for concurrent objects

Theoretical Computer Science

On the concurrent semantics of algebraic graph grammars

Formal Methods in Software and Systems Modeling

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets

Fundamenta Informaticae

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs

Fundamenta Informaticae

Atomicity And Concurrency Control In Process Calculi

Fundamenta Informaticae

A Concurrent Functional Semantics for a Process Algebra Based on Action Systems

Fundamenta Informaticae