1982 share record
persistent URL:
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 [contents] 1981 share record
persistent URL:
Charles André : Behaviour of a Place - Transition Net on a Subset of Transitions. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 131-135 share record
persistent URL:
Charles André : Use of the Behaviour Equivalence in Place-Transition Net Analysis. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 241-250 share record
persistent URL:
Jean-Michel Ayache , Pierre Azéma , Michel Diaz : Towards Fault Tolerant Real Time Systems by Using Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 228-233 share record
persistent URL:
Gérard Berthelot , Claude Girault , Gérard Roucairol : Petri Net Modelling and Reliability of Distributed Algorithms. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 3-10 share record
persistent URL:
Gérard Berthelot , Richard Terrat : Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 251-257 share record
persistent URL:
Eike Best : Overview on Topic 3: Information Flow and Concurrency. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 72-73 share record
persistent URL:
Eike Best : Information Flow in Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 82-87 share record
persistent URL:
Raul Camposano : Concurrency in Functional Descriptions. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 45-49 export record
dblp key:
conf/apn/ChristodoulakisM81 share record
persistent URL:
Dimitris Christodoulakis , Matthias Moritz : Net Morphisms and Software Engineering. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 111-117 share record
persistent URL:
Fiorella de Cindio , Giorgio De Michelis , Lucia Pomello , Carla Simone : Superposed Automata Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 269-279 share record
persistent URL:
B. Cohen : Overview on Topic 2: Programming Languages and Software Engineering. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 31 share record
persistent URL:
Gerard Florin , Stéphane Natkin : Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 280-288 share record
persistent URL:
Dieter Gernert : Structural Modifications in Net Theory. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 151-153 share record
persistent URL:
Heinrich P. Godbersen : On the Problem of Time in Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 23-30 share record
persistent URL:
Ursula Goltz , Wolfgang Reisig : Weighted Synchronic Distances. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 289-300 share record
persistent URL:
Ursula Goltz , Wolfgang Reisig , P. S. Thiagarajan : Two Alterative Definitions of Synchronic Distance. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 96-103 share record
persistent URL:
Ernst Grill : Design-Review by Petri-Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 38-44 share record
persistent URL:
Bernd Heinemann : Subclasses of Self-Modifying Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 187-192 share record
persistent URL:
Otthein Herzog : Graph-Theoretical Analysis of a Subclass of Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 178-182 share record
persistent URL:
Otthein Herzog , Rüdiger Valk : Overview on Topic 5: Mathematical Analysis and Net Languages. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 154-160 share record
persistent URL:
Wolfgang Hinderer : Transfer of Graph Constructs in Goguen's Paper to Net Constructs. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 142-150 share record
persistent URL:
Wolfgang Hinderer : Treatment of Recovery Problems Using Cuts in Occurence Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 234-239 share record
persistent URL:
Kurt Jensen , Morten Kyng : Petri Nets and Semantics of System Descriptions. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 64-71 share record
persistent URL:
Robert R. Johnson : The Relationship between Time and Information. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 74-81 share record
persistent URL:
Elöd Knuth , G. Györy , L. Rouyai : A Study of the Projection Operation. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 203-207 share record
persistent URL:
J. Martínez , Manuel Silva : A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 301-310 share record
persistent URL:
Giancarlo Mauri , Marco Brambilla : On the Logic of Concurrency and Conflict. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 258-268 share record
persistent URL:
Gérard Memmi : Leakage Notion. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 172-177 share record
persistent URL:
Pierangelo Miglioli , Ugo Moscato , Mario Ornaghi : Constructive Proofs as Programs Executable by PrT Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 311-322