Sign in
European Workshop on Applications and Theory in Petri Nets
1984
1985
1987
1988
1984
1988
Keyphrases
Publications
1988
Hervé P. Hillion
Timed Petri nets and application to multi-stage production systems.
European Workshop on Applications and Theory in Petri Nets
(1988)
Manuel Silva Suárez
,
Robert Valette
Petri nets and flexible manufacturing.
European Workshop on Applications and Theory in Petri Nets
(1988)
Raymond R. Devillers
The semantics of capacities in P/T nets.
European Workshop on Applications and Theory in Petri Nets
(1988)
Nicolas Trèves
A comparative study of different techniques for semi-flows computation in place/transition nets.
European Workshop on Applications and Theory in Petri Nets
(1988)
Ludmila Cherkasova
,
Vadim E. Kotov
Descriptive and analytical process algebras.
European Workshop on Applications and Theory in Petri Nets
(1988)
Charles André
Synchronized elementary net systems.
European Workshop on Applications and Theory in Petri Nets
(1988)
Marco Ajmone Marsan
Stochastic Petri nets: an elementary introduction.
European Workshop on Applications and Theory in Petri Nets
(1988)
Ugo Montanari
CEDISYS: Compositional Distributed Systems - State of the art, research goals, references.
European Workshop on Applications and Theory in Petri Nets
(1988)
Peter H. Starke
Some properties of timed nets under the earliest firing rule.
European Workshop on Applications and Theory in Petri Nets
(1988)
Elisabeth Pelz
About the concurrent behaviour of EN systems: definability and closure results.
European Workshop on Applications and Theory in Petri Nets
(1988)
Marco Ajmone Marsan
,
Giovanni Chiola
,
Andrea Fumagalli
Improving the efficiency of the analysis of DSPN models.
European Workshop on Applications and Theory in Petri Nets
(1988)
Theodor Hildebrand
,
Nicolas Trèeves
: a method for the development of electronic payment systems.
European Workshop on Applications and Theory in Petri Nets
(1988)
Hartmann J. Genrich
Equivalence transformations of PrT-nets.
European Workshop on Applications and Theory in Petri Nets
(1988)
Claire Hanen
Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets.
European Workshop on Applications and Theory in Petri Nets
(1988)
Astrid Kiehn
Petri Net systems and their closure properties.
European Workshop on Applications and Theory in Petri Nets
(1988)
Eike Best
Design Methods Based on Nets, Esprit Basic Research Action DEMON.
European Workshop on Applications and Theory in Petri Nets
(1988)
Serge Haddad
A reduction theory for coloured nets.
European Workshop on Applications and Theory in Petri Nets
(1988)
David May
,
Roger Shepherd
Occam and the transputer.
European Workshop on Applications and Theory in Petri Nets
(1988)
Jörg Desel
,
Agathe Merceron
P/T-systems as abstractions of C/E-systems.
European Workshop on Applications and Theory in Petri Nets
(1988)
Frits Feldbrugge
Petri net tool overview 1989.
European Workshop on Applications and Theory in Petri Nets
(1988)
Walter Vogler
Representation of a swapping class by one net.
European Workshop on Applications and Theory in Petri Nets
(1988)
Heikki Tuominen
Elementary net systems and dynamic logic.
European Workshop on Applications and Theory in Petri Nets
(1988)
volume 188, 1985
Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers
European Workshop on Applications and Theory in Petri Nets
188 (1985)
1984
Michel Diaz
,
Pierre Azéma
Petri net based models for the specification and validation of protocols.
European Workshop on Applications and Theory in Petri Nets
(1984)
Ursula Goltz
,
Wolfgang Reisig
CSP-programs with individual tokens.
European Workshop on Applications and Theory in Petri Nets
(1984)
Eike Best
,
Agathe Merceron
Frozen tokens and D-continuity: A study in relating system properties to process properties.
European Workshop on Applications and Theory in Petri Nets
(1984)
Marie-Paule Flé
,
Gérard Roucairol
Fair serializability of iterated transactions using FIFO-nets.
European Workshop on Applications and Theory in Petri Nets
(1984)
Klaus Voss
A net model of a local area network protocol.
European Workshop on Applications and Theory in Petri Nets
(1984)
Hassane Alla
,
P. Ladet
,
J. Martinez
,
M. Silva-Suarez
Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing system.
European Workshop on Applications and Theory in Petri Nets
(1984)
Bernd J. Krämer
Stepwise construction of non-sequential software systems using a net-based specification language.
European Workshop on Applications and Theory in Petri Nets
(1984)
Eike Best
,
Agathe Merceron
Concurrency axioms and D-continuous posets.
European Workshop on Applications and Theory in Petri Nets
(1984)
J. Carlier
,
Philippe Chrétienne
,
Claude Girault
Modelling scheduling problems with timed Petri nets.
European Workshop on Applications and Theory in Petri Nets
(1984)
Helmut Plünnecke
K-density, N-density and finiteness properties.
European Workshop on Applications and Theory in Petri Nets
(1984)
Kurt Jensen
The design of a program package for an introductory Petri net course.
European Workshop on Applications and Theory in Petri Nets
(1984)
César Fernández
,
P. S. Thiagarajan
A lattice theoretic view of K-density.
European Workshop on Applications and Theory in Petri Nets
(1984)
Kurt Lautenbach
,
Anastasia Pagnoni
Liveness and duality in marked-graph-like predicate/transition nets.
European Workshop on Applications and Theory in Petri Nets
(1984)
Peter Huber
,
Arne M. Jensen
,
Leif O. Jepsen
,
Kurt Jensen
Towards reachability trees for high-level Petri nets.
European Workshop on Applications and Theory in Petri Nets
(1984)
Heino Carstensen
,
Rüdiger Valk
Infinite behaviour and fairness in Petri nets.
European Workshop on Applications and Theory in Petri Nets
(1984)
César Fernández
,
Mogens Nielsen
,
P. S. Thiagarajan
A note on observable occurrence nets.
European Workshop on Applications and Theory in Petri Nets
(1984)
Theodor Hildebrand
Design and programming of interfaces for monetic applications using Petri nets.
European Workshop on Applications and Theory in Petri Nets
(1984)
P. Alanche
,
K. Benzakour
,
F. Dollé
,
P. Gillet
,
P. Rodrigues
,
Robert Valette
PSI: A Petri net based simulator for flexible manufacturing systems.
European Workshop on Applications and Theory in Petri Nets
(1984)
Rüdiger Valk
,
Matthias Jantzen
The residue of vector sets with applications to decidability problems in Petri nets.
European Workshop on Applications and Theory in Petri Nets
(1984)
Horst Müller
The reachability problem for VAS.
European Workshop on Applications and Theory in Petri Nets
(1984)
Vadim E. Kotov
,
Ludmila Cherkasova
On structural properties of generalized processes.
European Workshop on Applications and Theory in Petri Nets
(1984)
P. S. Thiagarajan
,
Klaus Voss
In praise of free choice nets.
European Workshop on Applications and Theory in Petri Nets
(1984)
Antoni W. Mazurkiewicz
Semantics of concurrent systems: a modular fixed-point trace approach.
European Workshop on Applications and Theory in Petri Nets
(1984)
Guy Juanole
,
B. Algayres
,
J. Dufau
On communication protocol modelling and design.
European Workshop on Applications and Theory in Petri Nets
(1984)
Jacques Vautherin
,
Gérard Memmi
Computation of flows for unary-predicates/transition-nets.
European Workshop on Applications and Theory in Petri Nets
(1984)