Rosenstengel, Bernd; Winand, Udo Petri-Netze. Eine anwendungsorientierte Einführung. 2., erg. und verbess. Aufl. (German) Zbl 0611.68038 Programm Angewandte Informatik. Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn. XV, 169 S.; DM 32.00 (1983). MSC: 68Q85 68-01 90-01 90B05 PDFBibTeX XML
Gerhardt, H.-D. KOMBI-nets - a generalization of the Petri-nets for the development and representation of combined mathematical models. (Russian) Zbl 0604.68071 Teor. Slozhnykh Sist. Metody Model. 1983, 49-57 (1983). MSC: 68Q85 00A69 PDFBibTeX XML
Cherkasova, L. A. Structural constraints in case of the net description of systems and processes. (Russian) Zbl 0583.68034 Theoretical questions of parallel programming and multiprocessor computers, Collect. sci. Works, Novosibirsk 1983, 151-163 (1983). MSC: 68Q85 68N25 PDFBibTeX XML
Goeman, H. J. M.; Groenewegen, L. P. J.; Kleijn, H. C. M.; Rozenberg, G. Constrained Petri nets. II. Generalizations and extensions. (English) Zbl 0582.68031 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 333-374 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. J. M. Goeman} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 333--374 (1983; Zbl 0582.68031)
Goeman, H. J. M.; Groenewegen, L. P. J.; Kleijn, H. C. M.; Rozenberg, G. Constrained Petri nets. (English) Zbl 0582.68030 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 81-125 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. J. M. Goeman} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 81--125 (1983; Zbl 0582.68030)
Finkel, A. Synchronization of a Petri net by a finite automaton. (English) Zbl 0582.68029 Foundations of software technology and theoretical computer science, 3rd Conf., Bangalore/India 1983, 593-609 (1983). MSC: 68Q85 PDFBibTeX XML
Esikova, T. N. An algorithm for the construction of the set of reachable markings for the analysis of properties of Petri nets. (Russian) Zbl 0579.68038 Vychisl. Sist. 97, 53-68 (1983). Reviewer: W.Kwasowiec MSC: 68Q85 PDFBibTeX XMLCite \textit{T. N. Esikova}, Vychisl. Sist. 97, 53--68 (1983; Zbl 0579.68038)
Valk, Rüdiger Infinite behaviour of Petri nets. (English) Zbl 0559.68057 Theor. Comput. Sci. 25, 311-341 (1983). Reviewer: H.Müller MSC: 68Q85 68Q45 68Q05 PDFBibTeX XMLCite \textit{R. Valk}, Theor. Comput. Sci. 25, 311--341 (1983; Zbl 0559.68057) Full Text: DOI
Petrenko, A. F. Representation of interacting processes by discrete nets. (English. Russian original) Zbl 0552.68057 Autom. Control Comput. Sci. 17, No. 6, 31-36 (1983); translation from Avtom. Vychisl. Tekh. 1983, No. 6, 34-40 (1983). MSC: 68Q85 68N25 PDFBibTeX XMLCite \textit{A. F. Petrenko}, Autom. Control Comput. Sci. 17, No. 6, 31--36 (1983; Zbl 0552.68057); translation from Avtom. Vychisl. Tekh. 1983, No. 6, 34--40 (1983)
Laucht, C. M. Some properties of the cube notation for vector replacement systems and Petri nets. (English) Zbl 0551.68053 Numerical mathematics and computing, Proc. 12th Manitoba Conf., Winnipeg/Manit. 1982, Congr. Numerantium 38, 97-125 (1983). MSC: 68Q85 PDFBibTeX XML
Döpp, Klemens Ein Satz über Free-Choice-Petrinetze. (German) Zbl 0551.68052 Elektron. Inform.-verarb. Kybernetik 19, 107-113 (1983). Reviewer: L.Priese MSC: 68Q85 PDFBibTeX XMLCite \textit{K. Döpp}, Elektron. Informationsverarbeitung Kybernetik 19, 107--113 (1983; Zbl 0551.68052)
Döpp, Klemens Zum Hackschen Wohlformungssatz für Free-Choice-Petrinetze. (German) Zbl 0551.68051 Elektron. Inform.-verarb. Kybernetik 19, 3-15 (1983). Reviewer: L.Priese MSC: 68Q85 PDFBibTeX XMLCite \textit{K. Döpp}, Elektron. Informationsverarbeitung Kybernetik 19, 3--15 (1983; Zbl 0551.68051)
Goltz, U.; Reisig, W. The non-sequential behaviour of Petri nets. (English) Zbl 0551.68050 Inf. Control 57, 125-147 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{U. Goltz} and \textit{W. Reisig}, Inf. Control 57, 125--147 (1983; Zbl 0551.68050) Full Text: DOI
Reisig, Wolfgang System design using Petri nets. (English) Zbl 0549.68056 Requirements engineering, Arbeitstag. GI, Friedrichshafen 1983, Inf.- Fachber. 74, 31-41 (1983). MSC: 68Q85 68N99 PDFBibTeX XML
Klette, Reinhard Analysis of data flow for SIMD systems. (English) Zbl 0549.68028 Acta Cybern. 6, 389-423 (1983). MSC: 68Q25 68P05 68N25 68Q85 PDFBibTeX XMLCite \textit{R. Klette}, Acta Cybern. 6, 389--423 (1983; Zbl 0549.68028)
Starke, Peter H. On the concurrency of distributed systems. (English) Zbl 0546.68040 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 52, 133-142 (1983). Reviewer: H.Fuss MSC: 68Q85 68Q45 93B17 93A10 05C99 PDFBibTeX XMLCite \textit{P. H. Starke}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 52, 133--142 (1983; Zbl 0546.68040)
Rozenberg, G.; Verraedt, R. Subset languages of Petri nets. II. Closure properties. (English) Zbl 0545.68070 Theor. Comput. Sci. 27, 85-108 (1983). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{G. Rozenberg} and \textit{R. Verraedt}, Theor. Comput. Sci. 27, 85--108 (1983; Zbl 0545.68070) Full Text: DOI
Valk, Rüdiger Facts in place/transition-nets with unrestricted capacities. (English) Zbl 0541.68036 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 4, 97-105 (1983). Reviewer: W.Kwasowiec MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Valk}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 4, 97--105 (1983; Zbl 0541.68036)
Priese, Lutz Automata and concurrency. (English) Zbl 0541.68035 Theor. Comput. Sci. 25, 221-265 (1983). Reviewer: W.Kwasowiec MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Priese}, Theor. Comput. Sci. 25, 221--265 (1983; Zbl 0541.68035) Full Text: DOI
Pohl, Hans Werner Petri net games. (English) Zbl 0539.68052 Elektron. Inform.-verarb. Kybernetik 19, 235-244 (1983). Reviewer: F.Turnovec MSC: 68Q85 91A05 PDFBibTeX XMLCite \textit{H. W. Pohl}, Elektron. Informationsverarbeitung Kybernetik 19, 235--244 (1983; Zbl 0539.68052)
Lin, Tsau Young Petri net models for computer security. (English) Zbl 0539.68051 Bull. Inst. Math., Acad. Sin. 11, 439-457 (1983). Reviewer: R.Janicki MSC: 68Q85 68P05 PDFBibTeX XMLCite \textit{T. Y. Lin}, Bull. Inst. Math., Acad. Sin. 11, 439--457 (1983; Zbl 0539.68051)
Paker, Y. (ed.); Verjus, J.-P. (ed.) Distributed computing systems. Synchronization, control and communication. (English) Zbl 0538.68001 London - New York etc.: Academic Press. A subsidiary of Harcourt Brace Jovanovich, Publishers. XII, 305 p. $ 27.50 (1983). Reviewer: R.Janicki MSC: 68-06 00Bxx 68N25 PDFBibTeX XML
[Kochut, K.; Laubsch, J.; Barth, K.; Christaller, T.; Finin, T. W.] The design of interpreters, compilers, and editors for augmented transition networks. (English) Zbl 0536.68057 Symbolic Computation. Artificial Intelligence. Berlin etc.: Springer- Verlag. XI, 214 p., 72 figs. DM 79.00; $ 30.70 (1983). Reviewer: N.Curteanu MSC: 68Q85 68Q45 68N20 68-02 68T50 68W30 PDFBibTeX XML
Starke, Peter H. Graph grammars for Petri net processes. (English) Zbl 0533.68064 Elektron. Inform.-verarb. Kybernetik 19, 199-233 (1983). Reviewer: R.Janicki MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{P. H. Starke}, Elektron. Informationsverarbeitung Kybernetik 19, 199--233 (1983; Zbl 0533.68064)
Starke, Peter Multiprocessor systems and their concurrency. (English) Zbl 0533.68063 Prepr., Neue Folge, Humboldt-Univ. Berl., Sekt. Math. 62, 29 p. (1983). Reviewer: W.Kwasowiec MSC: 68Q85 68Q05 68N25 PDFBibTeX XML
Burkhard, H. D. Remarks concerning Salwicki’s critical remarks on MAX-semantics. (English) Zbl 0533.68017 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 52, 7-17 (1983). MSC: 68Q60 68N25 68Q85 PDFBibTeX XMLCite \textit{H. D. Burkhard}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 52, 7--17 (1983; Zbl 0533.68017)
Rozenberg, G.; Verraedt, R. Subset languages of Petri nets. I: The relationship to string languages and normal forms. (English) Zbl 0531.68029 Theor. Comput. Sci. 26, 301-326 (1983). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{G. Rozenberg} and \textit{R. Verraedt}, Theor. Comput. Sci. 26, 301--326 (1983; Zbl 0531.68029) Full Text: DOI
Best, E.; Shields, M. W. Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets. (English) Zbl 0531.68015 Trees in algebra and programming, CAAP’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 141-154 (1983). MSC: 68Q85 PDFBibTeX XML
Burkhard, Hans-Dieter Control of Petri nets by finite automata. (English) Zbl 0531.68014 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 185-215 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{H.-D. Burkhard}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 185--215 (1983; Zbl 0531.68014)
Fuss, Hans Reversal simulation with place-transactor-nets. (English) Zbl 0529.68078 Adequate modeling of systems, Proc. int. Conf., Bad Honnef/Ger. 1982, 222-232 (1983). MSC: 68U20 68Q85 93A05 83B05 08A05 PDFBibTeX XML
Dimitrov, E. I.; Atanasov, K. T. Complexity operators for the theory of nets. (Bulgarian) Zbl 0528.68039 Mathematics and education in mathematics, Proc. 12th Spring Conf., Sunny Beach/Bulg. 1983, 171-175 (1983). MSC: 68Q85 PDFBibTeX XML
Bun’ko, E. B.; Yuditskij, S. A. Program realization of Petri nets for asynchronous logical controllers. (English. Russian original) Zbl 0527.68045 Autom. Remote Control 44, 364-372 (1983); translation from Avtom. Telemekh. 1983, No. 3, 109-119 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. B. Bun'ko} and \textit{S. A. Yuditskij}, Autom. Remote Control 44, 364--372 (1983; Zbl 0527.68045); translation from Avtom. Telemekh. 1983, No. 3, 109--119 (1983)
Skarbinska, Aleksandra On some definitions of marked Petri nets and their languages. (Polish) Zbl 0526.68058 Podstawy Sterowania 13, 215-221 (1983). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{A. Skarbinska}, Podstawy Sterowania 13, 215--221 (1983; Zbl 0526.68058)
Winkowski, Jozef A distributed implementation of Petri nets. (English) Zbl 0525.68036 Pr. Inst. Podstaw Inf. Pol. Akad. Nauk 518, 52 p. (1983). MSC: 68Q85 PDFBibTeX XML
Zakrevskij, A. D. Reduction method for testing the correctness of parallel algorithms of logical control. (Russian) Zbl 0525.68018 Dokl. Akad. Nauk BSSR 27, 617-619 (1983). MSC: 68W99 68Q85 PDFBibTeX XMLCite \textit{A. D. Zakrevskij}, Dokl. Akad. Nauk BSSR 27, 617--619 (1983; Zbl 0525.68018)
Dobsik, Frantisek The control of the electric distribution network structure. (English) Zbl 0523.93010 Mathematical methods for the analysis of large-scale systems, Proc. 4th Formator Symp., Liblice/Czech. 1982, 141-150 (1983). MSC: 93A15 68Q85 94C15 05C20 68R10 90B10 PDFBibTeX XML
Goltz, U.; Reisig, W. Processes of place/transition-nets. (English) Zbl 0523.68046 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 264-277 (1983). MSC: 68Q85 PDFBibTeX XML
Habel, Annegret; Kreowski, Hans-Joerg On context-free graph languages generated by edge replacement. (English) Zbl 0522.68071 Graph-grammars and their application to computer science, 2nd int. Workshop, Haus Ohrbeck/Ger. 1982, Lect. Notes Comput. Sci. 153, 143-158 (1983). MSC: 68Q45 68Q85 PDFBibTeX XML
Ehrig, Hartmut Aspects of concurrency in graph grammars. (English) Zbl 0522.68070 Graph-grammars and their application to computer science, 2nd int. Workshop, Haus Ohrbeck/Ger. 1982, Lect. Notes Comput. Sci. 153, 58-81 (1983). MSC: 68Q45 68Q85 68P05 68N25 68-02 PDFBibTeX XML
Estraillier, P.; Girault, C. Petri nets specification of virtual ring protocols. (English) Zbl 0522.68033 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 74-85 (1983). MSC: 68N25 68Q85 PDFBibTeX XML
Kyng, Morten Specification and verification of networks in a Petri net based language. (English) Zbl 0522.68019 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 181-198 (1983). MSC: 68Q60 68N01 68Q85 PDFBibTeX XML
Hansen, N. D.; Madsen, K. H. Formal semantics by a combination of denotational semantics and high- level Petri nets. (English) Zbl 0522.68018 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 132-148 (1983). MSC: 68Q60 68Q85 68Q55 PDFBibTeX XML
Genrich, Hartmann J.; Shapiro, Robert M. A diagram editor for line drawings with inscriptions. (English) Zbl 0521.68100 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 112-131 (1983). MSC: 68U99 68Q85 PDFBibTeX XML
Rozenberg, G.; Verraedt, R. Subset languages of Petri nets. (English) Zbl 0521.68089 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 250-263 (1983). MSC: 68Q45 68Q85 PDFBibTeX XML
Fernandez, C.; Thiagarajan, P. S. A note on D-continuous causal nets. (English) Zbl 0521.68063 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 86-97 (1983). MSC: 68Q85 06A06 PDFBibTeX XML
Memmi, G. A graph theoretical property for minimal deadlock. (English) Zbl 0521.68062 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 221-228 (1983). MSC: 68Q85 PDFBibTeX XML
Voss, Klaus On the notion of interface in condition/event-systems. (English) Zbl 0521.68061 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 278-291 (1983). MSC: 68Q85 PDFBibTeX XML
Yoeli, Michael; Etzion, Tuvi Behavioral equivalence of concurrent systems. (English) Zbl 0521.68060 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 292-305 (1983). MSC: 68Q85 PDFBibTeX XML
De Cindio, F.; De Michelis, G.; Pomello, L.; Simone, C. Milner’s communicating systems and Petri nets. (English) Zbl 0521.68059 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 40-59 (1983). MSC: 68Q85 68N25 PDFBibTeX XML
De Cindio, F.; De Michelis, G.; Pomello, L.; Simone, C. Equivalence notions for concurrent systems. (English) Zbl 0521.68058 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 29-39 (1983). MSC: 68Q85 PDFBibTeX XML
Reisig, W. Petri nets with individual tokens. (English) Zbl 0521.68057 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 229-249 (1983). MSC: 68Q85 PDFBibTeX XML
Jensen, Kurt High-level Petri nets. (English) Zbl 0521.68056 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 166-180 (1983). MSC: 68Q85 PDFBibTeX XML
Genrich, H. J.; Lautenbach, K. S-invariance in predicate/transition nets. (English) Zbl 0521.68055 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 98-111 (1983). MSC: 68Q85 PDFBibTeX XML
Andre, C. Structural transformations giving B-equivalent PT-nets. (English) Zbl 0521.68054 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 14-28 (1983). MSC: 68Q85 PDFBibTeX XML
Courvoisier, M. A matrix-based implementation of generalized Petri nets. (English) Zbl 0521.68053 Applications and theory of Petri nets, sel. Pap. 3rd. Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 60-73 (1983). MSC: 68Q85 PDFBibTeX XML
Prinoth, Rainer Construction of distributed systems from cycle-free finite automata. (English) Zbl 0521.68052 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 199-220 (1983). MSC: 68Q85 68Q45 PDFBibTeX XML
Petri, C. A. Some personal views of Net Theory. (English) Zbl 0521.68051 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 1-13 (1983). MSC: 68Q85 PDFBibTeX XML
Jantzen, Matthias; Bramhoff, Hendrik Notions of computability by Petri nets. (English) Zbl 0521.68042 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 149-165 (1983). MSC: 03D60 68Q85 03D20 PDFBibTeX XML
Bathelt, P.; Hofmann, F. A comparison of two Petri net types. (English) Zbl 0518.68035 Computing 31, 141-148 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Bathelt} and \textit{F. Hofmann}, Computing 31, 141--148 (1983; Zbl 0518.68035) Full Text: DOI
Messerschmidt, Jan Graph transductions in the field of automatic translation of natural languages. (English) Zbl 0517.68075 Graph-grammars and their application to computer science, 2nd int. Workshop, Haus Ohrbeck/Ger. 1982, Lect. Notes Comput. Sci. 153, 255-266 (1983). MSC: 68T50 68Q45 68Q85 PDFBibTeX XML
Castellani, Ilaria; Montanari, Ugo Graph grammars for distributed systems. (English) Zbl 0517.68065 Graph-grammars and their application to computer science, 2nd int. Workshop, Haus Ohrbeck/Ger. 1982, Lect. Notes Comput. Sci. 153, 20-38 (1983). MSC: 68Q85 68Q45 PDFBibTeX XML
Genrich, H. J.; Janssens, D.; Rozenberg, G.; Thiagarajan, P. S. Petri nets and their relation to graph grammars. (English) Zbl 0517.68064 Graph-grammars and their application to computer science, 2nd int. Workshop, Haus Ohrbeck/Ger. 1982, Lect. Notes Comput. Sci. 153, 115-129 (1983). MSC: 68Q85 68Q45 PDFBibTeX XML
Costa, Gerardo; Stirling, Colin A fair calculus of communicating systems. (English) Zbl 0517.68050 Foundations of computation theory, Proc. int. FCT-Conf., Borgholm/ Swed. 1983, Lect. Notes Comput. Sci. 158, 94-105 (1983). MSC: 68Q85 PDFBibTeX XML
Mikolajczak, Boleslaw On the computational complexity of some problems in Petri nets. (English) Zbl 0515.90046 Methods Oper. Res. 45, 481-492 (1983). MSC: 90B35 68Q85 PDFBibTeX XMLCite \textit{B. Mikolajczak}, Methods Oper. Res. 45, 481--492 (1983; Zbl 0515.90046)
Suzuki, Ichiro; Murata, Tadao A method for stepwise refinement and abstraction of Petri nets. (English) Zbl 0515.68051 J. Comput. Syst. Sci. 27, 51-76 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{I. Suzuki} and \textit{T. Murata}, J. Comput. Syst. Sci. 27, 51--76 (1983; Zbl 0515.68051) Full Text: DOI
Coolahan, James E. jun.; Roussopoulos, Nicholas Timing requirements for time-driven systems using augmented Petri nets. (English) Zbl 0514.68060 IEEE Trans. Software Eng. 9, 603-616 (1983). MSC: 68Q85 68N99 PDFBibTeX XMLCite \textit{J. E. Coolahan jun.} and \textit{N. Roussopoulos}, IEEE Trans. Softw. Eng. 9, 603--616 (1983; Zbl 0514.68060) Full Text: DOI
David, R.; Deneux, H. Sur le déterminisme du Grafcet. (French) Zbl 0514.68058 RAIRO, Autom. Syst. Anal. Control 17, 223-240 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. David} and \textit{H. Deneux}, RAIRO, Autom. Syst. Anal. Control 17, 223--240 (1983; Zbl 0514.68058)
Andre, C. The behaviour of a Petri net on a subset of transitions. (English) Zbl 0514.68057 RAIRO, Autom. Syst. Anal. Control 17, 5-21 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Andre}, RAIRO, Autom. Syst. Anal. Control 17, 5--21 (1983; Zbl 0514.68057)
Nelson, Robert A.; Haibt, Lois M.; Sheridan, Peter B. Casting Petri nets into programs. (English) Zbl 0514.68030 IEEE Trans. Software Eng. 9, 590-602 (1983). MSC: 68N25 68Q85 PDFBibTeX XMLCite \textit{R. A. Nelson} et al., IEEE Trans. Softw. Eng. 9, 590--602 (1983; Zbl 0514.68030) Full Text: DOI
Kluge, Werner E.; Schluetter, Heinz Petri net models for the evaluation of applicative programs based on lambda-expressions. (English) Zbl 0514.68009 IEEE Trans. Software Eng. 9, 415-427 (1983). MSC: 68N01 68Q60 03B40 68Q85 PDFBibTeX XMLCite \textit{W. E. Kluge} and \textit{H. Schluetter}, IEEE Trans. Softw. Eng. 9, 415--427 (1983; Zbl 0514.68009) Full Text: DOI
von Bochmann, Gregor Concepts for distributed systems design. (English) Zbl 0514.68001 Berlin-Heidelberg-New York: Springer-Verlag. XI, 259 p., 107 figs. DM 44.00; $ 19.00 (1983). MSC: 68-02 68N25 68Q85 PDFBibTeX XML
Genrich, H. J.; Thiagarajan, P. S. Well-formed flow charts for concurrent programming. (English) Zbl 0513.68054 Formal description of programming concepts II, Proc. IFIP Conf., Garmisch-Partenkirchen 1982, 357-382 (1983). MSC: 68Q85 68N25 PDFBibTeX XML
Etzion, Tuvi; Yoeli, Michael Super-nets and their hierarchy. (English) Zbl 0512.68038 Theor. Comput. Sci. 23, 243-272 (1983). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{T. Etzion} and \textit{M. Yoeli}, Theor. Comput. Sci. 23, 243--272 (1983; Zbl 0512.68038) Full Text: DOI
Schwaertzel, H. G. Allgemeine diskrete ereignis-dynamische Systeme als Modellierungsrahmen für komplexe Systeme. (German) Zbl 0511.68040 Siemens Forsch. - Entwicklungsber. 12, 121-126 (1983). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{H. G. Schwaertzel}, Siemens Forsch.- Entwicklungsber. 12, 121--126 (1983; Zbl 0511.68040)
Burkhard, Hans-Dieter On priorities of parallelism: Petri nets under the maximum firing strategy. (English) Zbl 0511.68039 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 86-97 (1983). MSC: 68Q85 PDFBibTeX XML
Ovseets, M. I. Structure of equivalent markings of Petri nets. (Russian) Zbl 0508.68037 Izv. Akad. Nauk BSSR, Ser. Fiz.-Mat. Nauk 1983, No. 1, 113-115 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. I. Ovseets}, Izv. Akad. Nauk BSSR, Ser. Fiz.-Mat. Nauk 1983, No. 1, 113--115 (1983; Zbl 0508.68037)
Magoti, Jan Abstraction for Petri nets. (Polish) Zbl 0508.68036 Podstawy Sterowania 13, 75-98 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Magoti}, Podstawy Sterowania 13, 75--98 (1983; Zbl 0508.68036)
Brams, G. W. Réseaux de Petri: Théorie et pratique. Tome 2: Modelisation et applications. (French) Zbl 0508.68034 Paris etc.: Masson. 160 p. (1983). MSC: 68Q85 68-02 PDFBibTeX XML
Suzuki, Ichiro; Kasami, Tadao Three measures for synchronic dependence in Petri nets. (English) Zbl 0504.68032 Acta Inf. 19, 325-338 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{I. Suzuki} and \textit{T. Kasami}, Acta Inf. 19, 325--338 (1983; Zbl 0504.68032) Full Text: DOI
Brams, G. W. [Rault, J.-C.; Andre, Ch.; Berthelot, G.; Girault, C.; Memmi, G.; Roucairol, G.; Sifakis, J.; Valette, R.; Vidal-Naquet, G.] Réseaux de Petri: théorie et pratique. Tome 1: Théorie et analyse. Preface de J.-C. Rault. (French) Zbl 0501.68027 Paris etc.: Masson. VIII, 184 p. FF 72.00 (1983). MSC: 68Q85 68-01 PDFBibTeX XML
Gelenbe, Erol Stationary deterministic flows in discrete systems. I. (English) Zbl 0498.68024 Theor. Comput. Sci. 23, 107-127 (1983). MSC: 68M20 68Q85 68N25 68N99 93B07 PDFBibTeX XMLCite \textit{E. Gelenbe}, Theor. Comput. Sci. 23, 107--127 (1983; Zbl 0498.68024) Full Text: DOI
Queille, J. P.; Sifakis, J. Fairness and related properties in transition systems - a temporal logic to deal with fairness. (English) Zbl 0489.68024 Acta Inf. 19, 195-220 (1983). MSC: 68Q65 03B45 68Q85 PDFBibTeX XMLCite \textit{J. P. Queille} and \textit{J. Sifakis}, Acta Inf. 19, 195--220 (1983; Zbl 0489.68024) Full Text: DOI