Hassane Alla, P. Ladet, J. Martinez, M. Silva-Suarez Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing sytem. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:15-31 [Conf]
Eike Best, Agathe Merceron Frozen tokens and D-continuity: A study in relating system properties to process properties. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:48-61 [Conf]
Michel Diaz, Pierre Azéma Petri net based models for the specification and validation of protocols. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:101-121 [Conf]
Theodor Hildebrand Design and programming of interfaces for monetic applications using Petri nets. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:197-214 [Conf]
Rüdiger Valk, Matthias Jantzen The residue of vector sets with applications to decidability problems in Petri nets. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:234-258 [Conf]
Kurt Jensen The design of a program package for an introductory Petri net course. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:259-266 [Conf]
Bernd J. Krämer Stepwise construction of non-sequential software systems using a net-based specification language. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:307-330 [Conf]
Kurt Lautenbach, Anastasia Pagnoni Liveness and duality in marked-graph-like predicate/transition nets. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:331-352 [Conf]
Antoni W. Mazurkiewicz Semantics of concurrent systems: a modular fixed-point trace approach. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:353-375 [Conf]
Horst Müller The reachability problem for VAS. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:376-391 [Conf]
Helmut Plünnecke K-density, N-density and finiteness properties. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:392-412 [Conf]
Klaus Voss A net model of a local area network protocol. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:413-437 [Conf]
Jacques Vautherin, Gérard Memmi Computation of flows for unary-predicates/transition-nets. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:455-467 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
