Advances in Petri Nets

Keyphrases

Publications

volume 255, 1987

Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986 Advances in Petri Nets 255 (1987)

volume 254, 1987

Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986 Advances in Petri Nets 254 (1987)

1986

C. A. Petri
"Forgotten Topics" of Net Theory. Advances in Petri Nets (1986)
Rüdiger Valk
Nets in Computer Organisation. Advances in Petri Nets (1986)
Gérard Memmi, Jacques Vautherin
Analysing Nets by the Invariant Method. Advances in Petri Nets (1986)
Gérard Roucairol
FIFO-Nets. Advances in Petri Nets (1986)
Gérard Berthelot
Transformations and Decompositions of Nets. Advances in Petri Nets (1986)
Kurt Lautenbach
Linear Algebraic Techniques for Place/Transition Nets. Advances in Petri Nets (1986)
César Fernández
Non-sequential Processes. Advances in Petri Nets (1986)
Ursula Goltz
Synchronic Distance. Advances in Petri Nets (1986)
Rüdiger Valk
Infinite Behaiour and Fairness. Advances in Petri Nets (1986)
P. S. Thiagarajan
Elementary Net Systems. Advances in Petri Nets (1986)
Ernst-Rüdiger Olderog
TCSP: Theory of Communicating Sequential Processes. Advances in Petri Nets (1986)
Grzegorz Rozenberg
Behaviour of Elementary Net Systems. Advances in Petri Nets (1986)
Kurt Jensen
Computer Tools for Construction, Modification and Analysis of Petri Nets. Advances in Petri Nets (1986)
Anastasia Pagnoni
Stochastic Nets and Performance Evaluation. Advances in Petri Nets (1986)
Klaus Voss
Nets in Office Automation. Advances in Petri Nets (1986)
Wolfgang Reisig
Place/Transition Systems. Advances in Petri Nets (1986)
Antoni W. Mazurkiewicz
Trace Theory. Advances in Petri Nets (1986)
Klaus Voss
Nets in Data Bases. Advances in Petri Nets (1986)
Michel Diaz
Petri Nets Based Models in the Specification and Verification of Protocols. Advances in Petri Nets (1986)
Horst Oberquelle
Human-Machine Interaction and Role/Function/Action-Nets. Advances in Petri Nets (1986)
Wolfgang Reisig
Petri Nets in Software Engineering. Advances in Petri Nets (1986)
Jean-Loup Baer
Modelling Architectural Features with Petri Nets. Advances in Petri Nets (1986)
Mogens Nielsen
CCS - and its Relationship to Net Theory. Advances in Petri Nets (1986)
Kurt Jensen
Coloured Petri Nets. Advances in Petri Nets (1986)
Matthias Jantzen
Language Theory of Petri Nets. Advances in Petri Nets (1986)
Werner E. Kluge
Reduction, Data Flow and Control Flow Models of Computation. Advances in Petri Nets (1986)
Frits Feldbrugge, Kurt Jensen
Petri Net Tool Overview 1986. Advances in Petri Nets (1986)
C. A. Petri
Concurrency Theory. Advances in Petri Nets (1986)
Eike Best
COSY: Its Relation to Nets and CSP. Advances in Petri Nets (1986)
Glynn Winskel
Event Structures. Advances in Petri Nets (1986)
Matthias Jantzen
Complexity of Place/Transition Nets. Advances in Petri Nets (1986)
Eike Best
Structure Theory of Petri Nets: the Free Choice Hiatus. Advances in Petri Nets (1986)
Robert Valette
Nets in Production Systems. Advances in Petri Nets (1986)
Hartmann J. Genrich
Predicate/Transition Nets. Advances in Petri Nets (1986)