Pmp Paul Rambags

Automatic verification of regular protocols in P/T nets

Pmp Paul Rambags, P. P. Rambags, 1993 .

Discrete event systems : dynamic versus static topology

van Km Kees Hee, Pmp Paul Rambags, V. Hee, 1989 .

Dynamic process creation in high-level Petri nets

van Km Kees Hee, Pmp Paul Rambags, V. Hee, 1990 .

Discrete event systems : concepts and basic results

van Km Kees Hee, Pmp Paul Rambags, V. Hee, 2001 .

Composition and Decomposition in a CPN Model

Pmp Paul Rambags, P. P. Rambags, 1992 .