Desel, Jörg Petri nets, linear algebra and linear programming. Analysis, verification and correctness proofs of system models. (Petrinetze, lineare Algebra und lineare Programmierung. Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen.) (German) Zbl 0909.68100 Teubner-Texte zur Informatik. 26. Leipzig: Teubner. 133 S. (1998). Reviewer: M.Jantzen (Hamburg) MSC: 68Q25 68-01 68Q85 11D04 11Y50 68T20 68W10 PDFBibTeX XMLCite \textit{J. Desel}, Petrinetze, lineare Algebra und lineare Programmierung. Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen. Leipzig: Teubner (1998; Zbl 0909.68100)
Megson, G. M.; Chen, X. Automatic parallelization for a class of regular computations. (English) Zbl 0910.68006 Singapore: World Scientific (ISBN 981-02-2806-6/hbk; 978-981-281-994-9/ebook). xix, 251 p. (1997). Reviewer: M.Jantzen (Hamburg) MSC: 68M07 68-02 68W15 68Q10 PDFBibTeX XMLCite \textit{G. M. Megson} and \textit{X. Chen}, Automatic parallelization for a class of regular computations. Singapore: World Scientific (1997; Zbl 0910.68006) Full Text: DOI
Floyd, Robert W.; Beigel, Richard The language of machines. (Die Sprache der Maschinen. Übers. aus d. Amerikan. von Philip Zeitz & Carsten Grefe.) (German) Zbl 0879.68062 Bonn: itp, International Thomson Publishing. xxvii, 652 p. (1996). Reviewer: M.Jantzen (Hamburg) MSC: 68Q45 68-01 68Q05 03D10 PDFBibTeX XMLCite \textit{R. W. Floyd} and \textit{R. Beigel}, Die Sprache der Maschinen. Übers. aus d. Amerikan. von Philip Zeitz \& Carsten Grefe. Bonn: itp, International Thomson Publishing (1996; Zbl 0879.68062)
Chen, Weimin Efficient multiple dispatching based on automata. (English) Zbl 0849.68009 Berichte der Gesellschaft für Mathematik und Datenverarbeitung (GMD-Berichte). 264. München: Oldenbourg. 138 p. (TH Darmstadt 1995) (1996). Reviewer: M.Jantzen (Hamburg) MSC: 68N15 68N20 68Q65 68-02 PDFBibTeX XMLCite \textit{W. Chen}, Efficient multiple dispatching based on automata. München: Oldenbourg (1996; Zbl 0849.68009)
Lammers, Dietmar The mutual object machine - an object-oriented model for parallel processing. (Die Mutual Object Machine - ein objektorientiertes Modell zur Parallelverarbeitung.) (German) Zbl 0851.68017 Münster: Univ., FB Math. vii, 183 p. (1993). Reviewer: M.Jantzen (Hamburg) MSC: 68N25 68W15 68M10 68-02 PDFBibTeX XMLCite \textit{D. Lammers}, Die Mutual Object Machine - ein objektorientiertes Modell zur Parallelverarbeitung. Münster: Univ., FB Math. (1993; Zbl 0851.68017)
Meseguer, José Conditional rewriting logic as a unified model of concurrency. (English) Zbl 0758.68043 Theor. Comput. Sci. 96, No. 1, 73-155 (1992). Reviewer: M.Jantzen (Hamburg) MSC: 68Q55 03C65 03B80 PDFBibTeX XMLCite \textit{J. Meseguer}, Theor. Comput. Sci. 96, No. 1, 73--155 (1992; Zbl 0758.68043) Full Text: DOI
Nielsen, M.; Rozenberg, G.; Thiagarajan, P. S. Elementary transition systems. (English) Zbl 0759.68022 Theor. Comput. Sci. 96, No. 1, 3-33 (1992). Reviewer: M.Jantzen (Hamburg) MSC: 68Q10 68Q85 PDFBibTeX XMLCite \textit{M. Nielsen} et al., Theor. Comput. Sci. 96, No. 1, 3--33 (1992; Zbl 0759.68022) Full Text: DOI
Leighton, F. Thomson Introduction to parallel algorithms and architectures: arrays, trees, hypercubes. (English) Zbl 0743.68007 San Mateo, CA: Morgan Kaufmann Publishers. XVII, 831 p. (1992). Reviewer: M.Jantzen (Hamburg) MSC: 68-01 68Q80 68Q10 68W15 PDFBibTeX XMLCite \textit{F. T. Leighton}, Introduction to parallel algorithms and architectures: arrays, trees, hypercubes. San Mateo, CA: Morgan Kaufmann Publishers (1992; Zbl 0743.68007)
Jensen, Kurt Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1. (English) Zbl 0762.68004 EATCS Monographs on Theoretical Computer Science. Berlin etc.: Springer- Verlag. X, 234 p. (1992). Reviewer: M.Jantzen (Hamburg) MSC: 68-02 68U07 68Q60 PDFBibTeX XMLCite \textit{K. Jensen}, Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1. Berlin etc.: Springer-Verlag (1992; Zbl 0762.68004)
Àlvarez, C.; Gabarró, J. The parallel complexity of two problems on concurrency. (English) Zbl 0734.68044 Inf. Process. Lett. 38, No. 2, 61-70 (1991). Reviewer: M.Jantzen (Hamburg) MSC: 68Q25 68W15 68Q85 PDFBibTeX XMLCite \textit{C. Àlvarez} and \textit{J. Gabarró}, Inf. Process. Lett. 38, No. 2, 61--70 (1991; Zbl 0734.68044) Full Text: DOI
Reisig, Wolfgang Petri nets and algebraic specifications. (English) Zbl 0727.68080 Theor. Comput. Sci. 80, No. 1, 1-34 (1991). Reviewer: M.Jantzen (Hamburg) MSC: 68Q85 68Q65 68Q10 PDFBibTeX XMLCite \textit{W. Reisig}, Theor. Comput. Sci. 80, No. 1, 1--34 (1991; Zbl 0727.68080) Full Text: DOI
de Boer, Martin J. M.; Lindenmayer, Aristid; Tuza, Zsolt A periodic division pattern that cannot be generated by D0L systems. (English) Zbl 0727.68058 Theor. Comput. Sci. 83, No. 2, 205-218 (1991). Reviewer: M.Jantzen (Hamburg) MSC: 68Q42 PDFBibTeX XMLCite \textit{M. J. M. de Boer} et al., Theor. Comput. Sci. 83, No. 2, 205--218 (1991; Zbl 0727.68058) Full Text: DOI
Iannucci, Robert A. Parallel machines: parallel machine languages. The emergence of hybrid dataflow computer architectures. (English) Zbl 0705.68005 The Kluwer International Series in Engineering and Computer Science, 96. Boston etc.: Kluwer Academic Publishers. XXVIII, 197 p. $ 59.95 (1990). Reviewer: M.Jantzen MSC: 68-02 68M01 68M99 PDFBibTeX XMLCite \textit{R. A. Iannucci}, Parallel machines: parallel machine languages. The emergence of hybrid dataflow computer architectures. Boston etc.: Kluwer Academic Publishers (1990; Zbl 0705.68005)
Reutenauer, Christophe Aspects mathématiques des réseaux de Pétri. (The mathematics of Petri nets. Translated by Iain Craig.) (English) Zbl 0694.68007 New York etc.: Prentice Hall. IX, 117 p. (1990). Reviewer: M.Jantzen MSC: 68-02 68Q85 PDFBibTeX XMLCite \textit{C. Reutenauer}, The mathematics of Petri nets. Translated by Iain Craig. New York etc.: Prentice Hall (1990; Zbl 0694.68007)
Dick, Jeremy; Kalmus, John; Martin, Ursula Automating the Knuth Bendix ordering. (English) Zbl 0715.68044 Acta Inf. 28, No. 2, 95-119 (1990). Reviewer: M.Jantzen MSC: 68Q42 03D03 PDFBibTeX XMLCite \textit{J. Dick} et al., Acta Inf. 28, No. 2, 95--119 (1990; Zbl 0715.68044) Full Text: DOI
Howell, Rodney R.; Rosier, Louis E. Problems concerning fairness and temporal logic for conflict-free Petri nets. (English) Zbl 0673.68040 Theor. Comput. Sci. 64, No. 3, 305-329 (1989). Reviewer: M.Jantzen MSC: 68Q85 03B60 68Q25 PDFBibTeX XMLCite \textit{R. R. Howell} and \textit{L. E. Rosier}, Theor. Comput. Sci. 64, No. 3, 305--329 (1989; Zbl 0673.68040) Full Text: DOI
Sénizergues, G. Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages. (English) Zbl 0672.68040 Inf. Comput. 81, No. 3, 265-279 (1989). Reviewer: M.Jantzen MSC: 68Q45 68Q65 PDFBibTeX XMLCite \textit{G. Sénizergues}, Inf. Comput. 81, No. 3, 265--279 (1989; Zbl 0672.68040) Full Text: DOI
Livesey, M. Stable families of behavioural equivalences. (English) Zbl 0669.68016 Theor. Comput. Sci. 63, No. 1, 19-41 (1989). Reviewer: M.Jantzen MSC: 68Q60 68Q85 68U20 PDFBibTeX XMLCite \textit{M. Livesey}, Theor. Comput. Sci. 63, No. 1, 19--41 (1989; Zbl 0669.68016) Full Text: DOI
Leszak, M.; Eggert, H. Petri-Netz-Methoden und -Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. (German) Zbl 0681.68003 Informatik-Fachberichte, 197. Berlin etc.: Springer-Verlag. XII, 254 p. (1988). Reviewer: M.Jantzen MSC: 68-02 68N99 68Q85 PDFBibTeX XMLCite \textit{M. Leszak} and \textit{H. Eggert}, Petri-Netz-Methoden und -Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. Berlin etc.: Springer-Verlag (1988; Zbl 0681.68003)
Howell, Rodney R.; Rosier, Louis E. On questions of fairness and temporal logic for conflict-free Petri nets. (English) Zbl 0669.68044 Advances in Petri nets, APN, Proc. 8th Eur. Workshop, Zaragoza/Spain 1987, Lect. Notes. Comput. Sci. 340, 200-226 (1988). Reviewer: M.Jantzen MSC: 68Q85 03B60 PDFBibTeX XML
Bucher, W. A note on regular classes in special Thue systems. (English) Zbl 0666.68074 Discrete Appl. Math. 21, No. 3, 199-205 (1988). Reviewer: M.Jantzen MSC: 68Q45 03D03 20M35 20C30 PDFBibTeX XMLCite \textit{W. Bucher}, Discrete Appl. Math. 21, No. 3, 199--205 (1988; Zbl 0666.68074) Full Text: DOI
Mazurkiewicz, Antoni Compositional semantics of pure place/transition systems. (English) Zbl 0661.68060 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 11, No. 4, 331-356 (1988). Reviewer: M.Jantzen MSC: 68Q85 68N01 68Q55 06A06 PDFBibTeX XMLCite \textit{A. Mazurkiewicz}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 11, No. 4, 331--356 (1988; Zbl 0661.68060)
Szalas, Andrzej An incompleteness result in process algebra. (English) Zbl 0661.68030 Inf. Process. Lett. 29, No. 2, 67-70 (1988). Reviewer: M.Jantzen MSC: 68Q65 68N25 68Q05 68Q60 PDFBibTeX XMLCite \textit{A. Szalas}, Inf. Process. Lett. 29, No. 2, 67--70 (1988; Zbl 0661.68030) Full Text: DOI
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun A taxonomy of fairness and temporal logic problems for Petri nets. (English) Zbl 0655.68072 Mathematical foundations of computer science 1988, Proc. 13th Symp., Carlsbad/Czech. 1988, Lect. Notes Comput. Sci. 324, 351-359 (1988). Reviewer: M.Jantzen MSC: 68Q85 68Q60 68Q25 PDFBibTeX XML
Reed, G. M.; Roscoe, A. W. A timed model for communicating sequential processes. (English) Zbl 0655.68031 Theor. Comput. Sci. 58, No. 1-3, 249-261 (1988). Reviewer: M.Jantzen MSC: 68N25 68N01 68Q60 68U20 68Q55 PDFBibTeX XMLCite \textit{G. M. Reed} and \textit{A. W. Roscoe}, Theor. Comput. Sci. 58, No. 1--3, 249--261 (1988; Zbl 0655.68031) Full Text: DOI
Finkel, Alain A generalization of the procedure of Karp and Miller to well structured transition systems. (English) Zbl 0633.68052 Automata, languages and programming, Proc. 14th Int. Colloq., Karlsruhe/FRG 1987, Lect. Notes Comput. Sci. 267, 499-508 (1987). Reviewer: M.Jantzen MSC: 68Q85 PDFBibTeX XML
Mazurkiewicz, Antoni Trace theory. (English) Zbl 0633.68051 Petri nets: applications and relationships to other models of concurrency, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 255, 279-324 (1987). Reviewer: M.Jantzen MSC: 68Q85 68Q45 PDFBibTeX XML
Carstensen, Heino Decidability questions for fairness in Petri nets. (English) Zbl 0629.68063 STACS 87, Theoretical aspects of computer science, Proc. 4th annu. Symp., Passau/FRG 1987, Lect. Notes Comput. Sci. 247, 396-407 (1987). Reviewer: M.Jantzen MSC: 68Q85 68Q45 PDFBibTeX XML
Petri, C. A. “Forgotten topics” of net theory. (English) Zbl 0629.68061 Petri nets: applications and relationships to other models of concurrency, Proc. Adv. Course, Bad Honnef/FRG, 1986, Lect. Notes Comput. Sci. 255, 500-514 (1987). Reviewer: M.Jantzen MSC: 68Q85 PDFBibTeX XML
Drees, Stefan; Gomm, Dominik; Plünnecke, Helmut; Reisig, Wolfgang; Walter, Rolf Bibliography of Petri nets. (English) Zbl 0629.68060 Advances in Petri nets, 7th Eur. Workshop, Oxford/U.K. 1986, Lect. Notes Comput. Sci. 266, 309-451 (1987). Reviewer: M.Jantzen MSC: 68Q85 00A15 68U20 PDFBibTeX XML
Pascoletti, Karl-Heinz Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-Netzen. (Diophantine systems and solution methods for the determination of all invariants in Petri nets). (German) Zbl 0609.10011 Ber. Ges. Math. Datenverarb., Bonn 160, 157 S. (1986). Reviewer: M.Jantzen MSC: 11D75 15A39 68Q85 11D04 65Yxx 11C20 PDFBibTeX XML
Kaldewaij, Anne A formalism for concurrent processes. (English) Zbl 0585.68033 Technische Hogeschool Eindhoven. 168 S. (1986). Reviewer: M.Jantzen MSC: 68N25 68N01 68Q65 03G10 06A06 68Q45 PDFBibTeX XML
Chrobak, Marek Variations on the technique of Ďuriš and Galil. (English) Zbl 0576.68061 J. Comput. Syst. Sci. 30, 77-85 (1985). Reviewer: M.Jantzen MSC: 68Q45 68Q25 68Q05 PDFBibTeX XMLCite \textit{M. Chrobak}, J. Comput. Syst. Sci. 30, 77--85 (1985; Zbl 0576.68061) Full Text: DOI
Salomaa, Arto Computation and automata. (English) Zbl 0565.68046 Encyclopedia of Mathematics and Its Applications, Vol. 25. Cambridge etc.: Cambridge University Press. XIII, 282 p. £25.00; $ 39.50 (1985). Reviewer: M.Jantzen MSC: 68Q05 03Dxx 68Q25 68Q42 68Q45 94A60 03-00 03-01 68-00 68-01 PDFBibTeX XML
Genrich, H. J.; Janssens, D.; Rozenberg, G.; Thiagarajan, P. S. Generalized handle grammars and their relation to Petri nets. (English) Zbl 0558.68051 Elektron. Inform.-verarb. Kybernetik 20, 179-206 (1984). Reviewer: M.Jantzen MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{H. J. Genrich} et al., Elektron. Informationsverarbeitung Kybernetik 20, 179--206 (1984; Zbl 0558.68051)
Mayer, Otto Syntaxanalyse. 2., durchges. und erg. Aufl. (German) Zbl 0534.68060 Reihe Informatik, Bd. 27. Mannheim - Wien - Zürich: Bibliographisches Institut, B.I.-Wissenschaftsverlag. 433 S. DM 39.00 (1982). Reviewer: M.Jantzen MSC: 68N20 68-01 68-02 PDFBibTeX XML