Abstract
There were ten contributions to this topic which included the following four methods for the analysis of place/transition nets (which we will call “nets” in the sequel):
-
transformation of methods from the verification of sequential programs
-
graph-theoretical methods
-
methods known from formal language theory and
-
methods known from the formal logic
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
H. Bischeltsrieder: Petri-Netze als Hilfsmittel zur methodischen Software-Entwicklung. In: G. Hümmel (Ed.): Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilungsanlage. Kernforschungszentrum Karlsruhe GmbH, PDV-Bericht KfK-PDV 186 (1980)
F. Commoner: Deadlocks in Petri Nets. Applied Data Research Inc., CA-7111–1211, Wakefield, Ma. (1971)
S. Crespi-Reghizzi: Petri Nets and Szilard Languages. Information and Control 33 (1977), 177–192
M. H. T. Hack: Analysis of Production Schemata by Petri Nets. MIT, Project MAC, TR -94 (1972)
M. H. T. Hack: Petri Net Languages. MIT, Lab. for Computer Science, TR - 159 (1976)
M. Jantzen: The Power of Synchronizing Operations on Strings. Universität Hamburg, Fachbereich Informatik, IFI-HH-B-67/80 (1980), To be published in Theoretical Computer Science 1981
T. Kimura: An Algebraic System for Process Structuring and Interprocess Communication. Proc. 8th Annual ACM Symposium on Theory of Computing, (1976), p. 92–100
K. Lautenbach: Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen. Diss., Berichte der Gesellschaft für Mathematik und Datenverarbeitung Nr. 82 (1973)
A. Mazurkiewicz: A Complet Set of Assertions on Distributed Systems. Institute of Computer Science, Polish Academy of Science (1979)
G. MEMMI, G. ROUCAIROL: Linear Algebra in Net Theory. In: W. Brauer (Ed.): Net Theory and Applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8–19, 1979. Berlin (1980)
W. E. Riddle: The Modelling and Analysis of Supervisory Systems.Computer Science Department, Stanford University, STAN - CS - 72 - 271 (1972)
A. C. SHAW: Software Description with Flow Expressions. IEEE Trans, on Software Engineering SE-4,3 (May 1978), p. 242–254
J. SIFAKIS: Le contrôle des systèmes asynchrones: concepts, propriétés, analyse statique. Thèse d’Etat, Université de Grenoble, June-1979.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Herzog, O., Valk, R. (1982). Overview on Topic 5: Mathematical Analysis and Net Languages. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive