A Uniform Approach to Petri Nets

Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques

High-Level Net Processes

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]

Parameterized Net Classes: A Uniform Approach to Petri Net Classes

Unifying Petri Nets, Advances in Petri Nets

Two Algebraic Process Semantics for Contextual Nets

Unifying Petri Nets, Advances in Petri Nets

The »Petri Net Baukasten«: An Overview

Unifying Petri Nets, Advances in Petri Nets

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

Unifying Petri Nets, Advances in Petri Nets

Rewriting Logic as a Unifying Framework for Petri Nets

Unifying Petri Nets, Advances in Petri Nets

Transactions and Zero-Safe Nets

Unifying Petri Nets, Advances in Petri Nets

High-level net processes

Formal and natural computing

Modeling and verification of a class of real-time systems by the use of high level petri nets

Journal of Systems and Software