Conferences in DBLP

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

1. Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth
   The signing of a contract - a tree-structured application. [Citation Graph (0, 0)][DBLP]
   Applications and Theory in Petri Nets, 1985, pp:1-18 [Conf]
   
2. Gérard Berthelot
   Checking properties of nets using transformation. [Citation Graph (0, 0)][DBLP]
   Applications and Theory in Petri Nets, 1985, pp:19-40 [Conf]
   
3. Gérard Boudol, Gérard Roucairol, Robert de Simone
   Petri nets and algebraic calculi of processes. [Citation Graph (0, 0)][DBLP]
   Applications and Theory in Petri Nets, 1985, pp:41-58 [Conf]
   
4. Hans-Dieter Burkhard
   Fair controls and their realization. [Citation Graph (0, 0)][DBLP]
   Applications and Theory in Petri Nets, 1985, pp:59-82 [Conf]
   
5. Luca A. Castellano
   Beta processes of C/E systems. [Citation Graph (0, 0)][DBLP]
   Applications and Theory in Petri Nets, 1985, pp:83-100 [Conf]
   
6. Yuan Chong-Yi
   Synhronic distances in C/E systems. [Citation Graph (0, 0)][DBLP]
   Applications and Theory in Petri Nets, 1985, pp:101-121 [Conf]
   
7. Yuan Chong-Yi
   Process periods and system reconstruction. [Citation Graph (0, 0)][DBLP]
   Applications and Theory in Petri Nets, 1985, pp:122-141 [Conf]
   
8. G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano
   Guidelines on using net analysis techniques with large specifications. [Citation Graph (0, 0)][DBLP]
   Applications and Theory in Petri Nets, 1985, pp:142-161 [Conf]
   
9. Ludwik Czaja
   Making nets abstract and structures. [Citation Graph (0, 0)][DBLP]
   Applications and Theory in Petri Nets, 1985, pp:181-202 [Conf]
   
10. Frits Feldbrugge
    Petri net tools. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:203-223 [Conf]
    
11. Hartmann J. Genrich
    Projections of C/E systems. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:224-232 [Conf]
    
12. Ursula Goltz, Yuan Chong-Yi
    Synchronic structure - a tutorial. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:233-252 [Conf]
    
13. Dirk Hauschildt, Rüdiger Valk
    Safe states in banker like resource allocation problems. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:253-277 [Conf]
    
14. Anatol W. Holt
    Coordination technology and Petri nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:278-296 [Conf]
    
15. Kurt Jensen, Erik Meineche Schmidt
    Pascal semantics by a combination of denotational semantics and high-level Petri nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:297-329 [Conf]
    
16. Y. Narahari, Nukala Viswanadham
    On the invariants of coloured Petri nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:330-345 [Conf]
    
17. Michel Parigot, Elisabeth Pelz
    A logical formalism for the study of the infinite behaviour of Petri nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:346-361 [Conf]
    
18. Helmut Plünnecke
    Determination of a poset by its co-relation. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:362-380 [Conf]
    
19. Lucia Pomello
    Some equivalence notions for concurrent systems. An overview. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:381-400 [Conf]
    
20. Gernot Richter, Klaus Voss
    Towards a comprehensive office model integrating information and resources. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:401-417 [Conf]
    
21. Jacques Vautherin
    Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:418-434 [Conf]
    
22. Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour
    Protocol analysis using numerical Petri nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:435-452 [Conf]
    
23. Glynn Winskel
    Petri nets, morphisms and compositionality. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:453-477 [Conf]
    
24. Wlodzimierz M. Zuberek
    M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:478-498 [Conf]