1.+2. APN 1980, 1981: Bad Honnef, Germany / Strasbourg, France
Claude Girault, Wolfgang Reisig (Eds.): Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Stasbourg 23.-26. September 1980, Bad Honnef 28.-30. September 1981. Springer 1982 Informatik-Fachberichte ISBN 3-540-11189-1
Part One: First European Workshop on Application and Theory of Petri Nets
Application of Nets to Real-Time Systems
- Gérard Roucairol: Overview. 1-2
- Gérard Berthelot, Claude Girault, Gérard Roucairol: Petri Net Modelling and Reliability of Distributed Algorithms. 3-10
- P. Rolin: Using Petri Nets in Measurements of a Distributed Data Base System. 11-22
- Heinrich P. Godbersen: On the Problem of Time in Nets. 23-30
Programming Languages and Software Engineering
- B. Cohen: Overview. 31
- Eberhard Wegner: Transforming Nets Along the Syntactic Production of Programs. 32-37
- Ernst Grill: Design-Review by Petri-Nets. 38-44
- Raul Camposano: Concurrency in Functional Descriptions. 45-49
- Wolfgang Rosenstiel: RNL - A Language for Digital Systems Design Based on Nets. 50-55
Information Flow and Concurrency
- Eike Best: Overview. 72-73
- Robert R. Johnson: The Relationship between Time and Information. 74-81
- Eike Best: Information Flow in Nets. 82-87
- Glynn Winskel: An Exercise in Processes with Infinite Pasts. 88-95
- Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan: Two Alterative Definitions of Synchronic Distance. 96-103
- Gert Scheschonk: On the Construction of System Nets. 104-108
Net Morphisms and Higher Level Net Interpretations
- Wolfgang Reisig: Overview. 109-110
- Engin Sirmen: An Equivalence-Notion for Condition/Event-Systems. 118-124
- Wolfgang Reisig: Recursive Nets. 125-130
- Charles André: Behaviour of a Place - Transition Net on a Subset of Transitions. 131-135
- Wolfgang Hinderer: Transfer of Graph Constructs in Goguen's Paper to Net Constructs. 142-150
- Dieter Gernert: Structural Modifications in Net Theory. 151-153
Mathematical Analysis and Net Languages
- Horst Müller: Inductive Assertions for Analyzing Reachability Sets. 168-171
- Gérard Memmi: Leakage Notion. 172-177
- Otthein Herzog: Graph-Theoretical Analysis of a Subclass of Petri Nets. 178-182
- Michael Yoeli: Synthesis of Concurrent Systems. 183-186
- Bernd Heinemann: Subclasses of Self-Modifying Nets. 187-192
- Rüdiger Valk: Test on Zero in Petri Nets. 193-197
- Guy Vidal-Naquet: Deterministic Languages of Petri Nets. 198-202
Reliability and Recovery Issues
- Robert Valette: Overview. 208-211
- M. Morganti: Petri-Net Implementation of Recovery Strategies in a Large ESS. 212-221
- Robert Valette: Petri Nets and Reliable Real Time Systems. 222-227
- Jean-Michel Ayache, Pierre Azéma, Michel Diaz: Towards Fault Tolerant Real Time Systems by Using Petri Nets. 228-233
- Wolfgang Hinderer: Treatment of Recovery Problems Using Cuts in Occurence Nets. 234-239
Part Two: Second European Workshop on Application and Theory of Petri Nets
- Charles André: Use of the Behaviour Equivalence in Place-Transition Net Analysis. 241-250
- Gérard Berthelot, Richard Terrat: Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets. 251-257
- Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone: Superposed Automata Nets. 269-279
- Gerard Florin, Stéphane Natkin: Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol. 280-288
- J. Martinez, Manuel Silva: A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net. 301-310
- Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Constructive Proofs as Programs Executable by PrT Nets. 311-322
- Horst Müller: Correctness Proof for the Alternating Bit Protocol by Assertion Systems. 323-326
- Anastasia Pagnoni: A Fair Competition Between Two or More Partners. 327-337
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team