Applications and Theory in Petri Nets

Keyphrases

Publications

1985

Gernot Richter, Klaus Voss
Towards a comprehensive office model integrating information and resources. Applications and Theory in Petri Nets (1985)
G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano
Guidelines on using net analysis techniques with large specifications. Applications and Theory in Petri Nets (1985)
Ursula Goltz, Yuan Chong-Yi
Synchronic structure - a tutorial. Applications and Theory in Petri Nets (1985)
Luca A. Castellano
Beta processes of C/E systems. Applications and Theory in Petri Nets (1985)
Lucia Pomello
Some equivalence notions for concurrent systems. An overview. Applications and Theory in Petri Nets (1985)
Hartmann J. Genrich
Projections of C/E systems. Applications and Theory in Petri Nets (1985)
Gérard Berthelot
Checking properties of nets using transformation. Applications and Theory in Petri Nets (1985)
Wlodzimierz M. Zuberek
M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets. Applications and Theory in Petri Nets (1985)
Ludwik Czaja
Making nets abstract and structures. Applications and Theory in Petri Nets (1985)
Gérard Boudol, Gérard Roucairol, Robert de Simone
Petri nets and algebraic calculi of processes. Applications and Theory in Petri Nets (1985)
Hans-Dieter Burkhard
Fair controls and their realization. Applications and Theory in Petri Nets (1985)
Frits Feldbrugge
Petri net tools. Applications and Theory in Petri Nets (1985)
Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth
The signing of a contract - a tree-structured application. Applications and Theory in Petri Nets (1985)
Y. Narahari, Nukala Viswanadham
On the invariants of coloured Petri nets. Applications and Theory in Petri Nets (1985)
Michel Parigot, Elisabeth Pelz
A logical formalism for the study of the infinite behaviour of Petri nets. Applications and Theory in Petri Nets (1985)
Kurt Jensen, Erik Meineche Schmidt
Pascal semantics by a combination of denotational semantics and high-level Petri nets. Applications and Theory in Petri Nets (1985)
Jacques Vautherin
Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. Applications and Theory in Petri Nets (1985)
Glynn Winskel
Petri nets, morphisms and compositionality. Applications and Theory in Petri Nets (1985)
Yuan Chong-Yi
Process periods and system reconstruction. Applications and Theory in Petri Nets (1985)
Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour
Protocol analysis using numerical Petri nets. Applications and Theory in Petri Nets (1985)
Helmut Plünnecke
Determination of a poset by its co-relation. Applications and Theory in Petri Nets (1985)
Anatol W. Holt
Coordination technology and Petri nets. Applications and Theory in Petri Nets (1985)
Yuan Chong-Yi
Synhronic distances in C/E systems. Applications and Theory in Petri Nets (1985)
Dirk Hauschildt, Rüdiger Valk
Safe states in banker like resource allocation problems. Applications and Theory in Petri Nets (1985)