Search
Now showing items 1-9 of 9
Generative families of positive invariants in coloured nets sub-classes.
(1993) Communication / Conférence
Parallélisme et Généricité.
(1993) Communication / Conférence
Assessment of ESTELLE and EDT Through Real Case Studies.
(1993) Communication / Conférence
Evaluation paramétrée de formules de logique temporelle.
(1993) Communication / Conférence
A Protocol Specification Language with a High-level Petri Net Semantics.
(1993) Communication / Conférence
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.
(1993) Communication / Conférence
A Distributed Algorithm for Resource Management.
(1993) Communication / Conférence
Conflict Sets in Coloured Petri nets.
(1993) Communication / Conférence
Generative Families of Positive Invariants in Coloured Nets Sub-Classes.
(1993) Communication / Conférence