Search Results - Devillers, Raymond
- Showing 1 – 13 results of 13
-
1Recursion and Petri netsPublished 1999Call Number: Loading…
Located: Loading…Book Loading… -
2Concurrent behaviour: sequences, processes and programming languagesPublished 1985Call Number: Loading…
Located: Loading…Book Loading… -
3Petri net algebraPublished 2001Call Number: Loading…Table of Contents
Located: Loading…Book Loading… -
4Petri Net Primer: A Compendium on the Core Model, Analysis, and SynthesisPublished 2024Call Number: Loading…Read online
Located: Loading…Electronic eBook Loading… -
5Persistent systems with unique minimal cyclic parikh vectorsPublished 2014Call Number: Loading…Table of Contents
Located: Loading…Book Loading… -
6The box algebra = Petri nets + process expressionsPublished 1999Call Number: Loading…
Located: Loading…Book Loading… -
7General refinement and recursion for the box calculusPublished 1992Call Number: Loading…
Located: Loading…
Book Loading… -
8The box calculus: a new causal algebra with multi-label communicationPublished 1992Call Number: Loading…
Located: Loading…
Book Loading… -
9Petri Net AlgebraPublished 2001Call Number: Loading…
Located: Loading…Electronic eBook Loading… -
10The power of prime cycles and distance pathsPublished 2016Call Number: Loading…
Located: Loading…
Book Loading… -
11Characterisation of the state spaces of marked graph Petri netsPublished 2014Call Number: Loading…
Located: Loading…
Book Loading… -
12The box calculus: a new causal algebra with multi-label communicationPublished 1991Call Number: Loading…
Located: Loading…
Book Loading… -
13A COSY banker: specification of highly parallel and distributed resource managementPublished 1980Call Number: Loading…
Located: Loading…
Book Loading…