Gérard Roucairol Overview. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:1-2 [Conf]

P. Rolin Using Petri Nets in Measurements of a Distributed Data Base System. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:11-22 [Conf]

Heinrich P. Godbersen On the Problem of Time in Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:23-30 [Conf]

B. Cohen Overview. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:31- [Conf]

Eberhard Wegner Transforming Nets Along the Syntactic Production of Programs. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:32-37 [Conf]

Ernst Grill Design-Review by Petri-Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:38-44 [Conf]

Raul Camposano Concurrency in Functional Descriptions. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:45-49 [Conf]

Wolfgang Rosenstiel RNL - A Language for Digital Systems Design Based on Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:50-55 [Conf]

F. Vidono, I. López Galileo: A Methodology for Modelling and Designing Real Time Systems. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:56-63 [Conf]

Kurt Jensen, Morten Kyng Petri Nets and Semantics of System Descriptions. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:64-71 [Conf]

Eike Best Overview. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:72-73 [Conf]

Robert R. Johnson The Relationship between Time and Information. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:74-81 [Conf]

Eike Best Information Flow in Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:82-87 [Conf]

Glynn Winskel An Exercise in Processes with Infinite Pasts. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:88-95 [Conf]

Gert Scheschonk On the Construction of System Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:104-108 [Conf]

Wolfgang Reisig Overview. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:109-110 [Conf]

Engin Sirmen An Equivalence-Notion for Condition/Event-Systems. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:118-124 [Conf]

Wolfgang Reisig Recursive Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:125-130 [Conf]

Charles André Behaviour of a Place - Transition Net on a Subset of Transitions. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:131-135 [Conf]

Ichiro Suzuki, Tadao Murata Stepwise Refinements of Transitions and Places. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:136-141 [Conf]

Wolfgang Hinderer Transfer of Graph Constructs in Goguen's Paper to Net Constructs. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:142-150 [Conf]

Dieter Gernert Structural Modifications in Net Theory. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:151-153 [Conf]

Otthein Herzog, Rüdiger Valk Overview. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:154-160 [Conf]

Jean-Pierre Queille, Joseph Sifakis Iterative Methods for the Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:161-167 [Conf]

Horst Müller Inductive Assertions for Analyzing Reachability Sets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:168-171 [Conf]

Gérard Memmi Leakage Notion. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:172-177 [Conf]

Otthein Herzog Graph-Theoretical Analysis of a Subclass of Petri Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:178-182 [Conf]

Michael Yoeli Synthesis of Concurrent Systems. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:183-186 [Conf]

Bernd Heinemann Subclasses of Self-Modifying Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:187-192 [Conf]

Rüdiger Valk Test on Zero in Petri Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:193-197 [Conf]

Guy Vidal-Naquet Deterministic Languages of Petri Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:198-202 [Conf]

Elöd Knuth, G. Györy, L. Rouyai A Study of the Projection Operation. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:203-207 [Conf]

Robert Valette Overview. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:208-211 [Conf]

M. Morganti Petri-Net Implementation of Recovery Strategies in a Large ESS. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:212-221 [Conf]

Robert Valette Petri Nets and Reliable Real Time Systems. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:222-227 [Conf]

Jean-Michel Ayache, Pierre Azéma, Michel Diaz Towards Fault Tolerant Real Time Systems by Using Petri Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:228-233 [Conf]

Wolfgang Hinderer Treatment of Recovery Problems Using Cuts in Occurence Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:234-239 [Conf]

Charles André Use of the Behaviour Equivalence in Place-Transition Net Analysis. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:241-250 [Conf]

Gérard Berthelot, Richard Terrat Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:251-257 [Conf]

Giancarlo Mauri, M. Brambilla On the Logic of Concurrency and Conflict. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:258-268 [Conf]

Gerard Florin, Stéphane Natkin Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:280-288 [Conf]

Ursula Goltz, Wolfgang Reisig Weighted Synchronic Distances. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:289-300 [Conf]

J. Martinez, Manuel Silva A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:301-310 [Conf]

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi Constructive Proofs as Programs Executable by PrT Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:311-322 [Conf]

Horst Müller Correctness Proof for the Alternating Bit Protocol by Assertion Systems. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:323-326 [Conf]

Anastasia Pagnoni A Fair Competition Between Two or More Partners. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:327-337 [Conf]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP