1. Lect. Notes Comput. Sci.;E. Best,1975
2. Automatentheorie und formale Sprachen (Bericht Tagung, Oberwolfach, 1969);K. Čulík,1970
3. K. Čulík, On equivalences of Petri nets and set grammars,GMD MBH (Bonn). (Submitted)
4. K. Čulík,The importance of formal methods for definition of programming languages and operating systems (on mathematical theory of computers), invited talk prepared for GAMM Tagung, Göttingen, 1975.
5. K. Lautenbach andH. A. Schmid, Use of Petri nets for proving correctness of concurrent process systems,Information Processing (Proc. IFIP Congress, Stockholm, 1974, North-Holland, Amsterdam, 1974, 187–191,MR 55 # 14427