The SCEAS System
Navigation Menu

Conferences in DBLP

Applications and Theory of Petri Nets (ICATPN/APN) (apn)
1981 (conf/apn/1981)

  1. 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]
  2. Gérard Berthelot, Claude Girault, Gérard Roucairol
    Petri Net Modelling and Reliability of Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:3-10 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan
    Two Alterative Definitions of Synchronic Distance. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:96-103 [Conf]
  17. 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]
  18. 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]
  19. Dimitris Christodoulakis, Matthias Moritz
    Net Morphisms and Software Engineering. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:111-117 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
    Superposed Automata 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:269-279 [Conf]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002