Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1.+2. APN 1980, 1981: Bad Honnef, Germany / Strasbourg, France
- Claude Girault, Wolfgang Reisig:
Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981. Informatik-Fachberichte 52, Springer 1982, 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 on Topic 1: Application of Nets to Real-Time Systems. 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 on Topic 2: Programming Languages and Software Engineering. 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 - F. Vidono, I. López:
Galileo: A Methodology for Modelling and Designing Real Time Systems. 56-63 - Kurt Jensen, Morten Kyng:
Petri Nets and Semantics of System Descriptions. 64-71
Information Flow and Concurrency
- Eike Best:
Overview on Topic 3: Information Flow and Concurrency. 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 on Topic 4: Net Morphisms and Higher Level Net Interpretations. 109-110 - Dimitris Christodoulakis, Matthias Moritz:
Net Morphisms and Software Engineering. 111-117 - 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 - Ichiro Suzuki, Tadao Murata:
Stepwise Refinements of Transitions and Places. 136-141 - 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
- Otthein Herzog, Rüdiger Valk:
Overview on Topic 5: Mathematical Analysis and Net Languages. 154-160 - Jean-Pierre Queille, Joseph Sifakis:
Iterative Methods for the Analysis of Petri Nets. 161-167 - 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 - Elöd Knuth, G. Györy, L. Rouyai:
A Study of the Projection Operation. 203-207
Reliability and Recovery Issues
- Robert Valette:
Overview on Topic 6: Reliability and Recovery Issues. 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 - Giancarlo Mauri, Marco Brambilla:
On the Logic of Concurrency and Conflict. 258-268 - 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 - Ursula Goltz, Wolfgang Reisig:
Weighted Synchronic Distances. 289-300 - J. Martínez, 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
