nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Petri Nets: The Next 50 Years—An Invitation and Interpretative Translation

verfasst von : Heinz W. Schmidt

Erschienen in: Carl Adam Petri: Ideas, Personality, Impact

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Carl Adam Petri wrote his famous thesis over 50 years ago. In another 50 years will a future generation of scientists and practitioners look back on a hundred years of Petri nets? If so, what will they expose as the historic landmarks in their writing on Petri nets, and will these be the same as those the community has considered for the last 50 years?

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel On the Two Worlds of Carl Adam Petri’s Nets

Nächstes Kapitel Petri Nets Are (Not Only) Distributed Automata

Nearly 4000 citations (Google Scholar).

Albeit sometimes only grudgingly: see the experimental results on teleportation, only a couple of years ago, and reactions in the literature confirming the misnamed ‘spooky action at a distance’.

Anatol Holt’s role includes many contributions. He also coined the term ‘Petri nets’, according to a letter Petri sent to Holt, as reported in a memorial lecture for Petri.

May 10, 2017.

Often with a warning by the computer pioneer to make sure temporal assumptions are consistent with concurrency axioms: “This is only for convenience and ease of understanding in classical terms”; “Continuous real-time is based on the erroneous assumption of density, which contradicts our axioms in terms of measurement”; “Two integer clocks can be compared to arbitrary rational precision and ultimately violate either spatial density bounds for information or speed bounds for synchronisation when the machine keeps getting extended”.

The original German terms ‘Stelle’ and ‘Stelligkeit’ also mean ‘position’ and ‘arity’ for token distribution variables in transitions or the entire net as functions on such distribution vectors.

Dedekind cuts at the event occurrence net level, i.e. in terms of elementary firings and marking.

Well before I studied there and met him while working as a student and later researcher at the GMD Schloß Birlinghoven, St. Augustin, near Bonn, where he was the foundation director of the Institute for Information Systems Theory (1968) later renamed to Methods Foundations, while I was conducting research in the neighbouring Institute for Systems Technology working on compiler construction from 1976 and later on software theory, the Segras specification language and a toolkit bridging algebraic-categorical specification and Petri nets.

Course given by Klaus Berkling who later built the GMD reduction machine for his variant of the λ-calculus.

Logical positivism: Only statements that are empirically verifiable are empirically meaningful. But how can we even set a test and verify without prior theory and meaning?

Taught in Bonn, where, to my delight, his entire collected works was held in multiple copies.

Only to be admitted to his defence on June 20, 1962, almost a year later.

Fifty years before Germany would become the country with the fastest-growing Jewish population outside Israel.

Through art, shared Yoga interest and hobbies such as bee keeping and, not least, Math tutoring of her children and endless fascinating table conversations and occasional short courses on Eastern philosophy and Hermetic literature.

Who goes back to Hegel, not shown in the graph.

Many students started a professional career during their last year of study or earlier. The average number of semesters was therefore 12 or more in this unregulated environment, due to part-time study in advanced years.

From memory, 1979, due to Petri’s close links with MIT; I could make it crash occasionally by fast mouse movements; it was usable, and entirely written in Flavors, the object-oriented East Coast Lisp, which I would use later for both compiler construction and algebraic Petri net specification, and as a target for pilot implementations.

This is out of the scope of this work. We refer to work by Valk, Smith, and Petri himself.

As celebrated for instance by Mary Shaw’s and David Garlan’s articles, or speeches on software architecture practice and research at the International Conference on Software Engineering (2000 and beyond), the flagship conference of the software engineering discipline.

https://www.microsoft.com/en-us/research/publication/arbiter-free-synchronization/ accessed mid-May 2017.

Distinguishing evidence, affordance and allowance of harmful or unsafe behaviour.

Several of us went on to study mathematics, not least due to Dr. Bosbach and his group theory workshops.

Except for smoking without hesitation and without interruption, which was not uncommon in those days.

I had carried them to the USA and Australia in long-distance moves and finally replaced most with their digital version, creating wiggle room in my study for other parallel interests.

Including why I was holding on to them.

https://www.rd-alliance.org/, of which I am a member.

S. Abramsky, What are the fundamental structures of concurrency? We still don’t know! Electron. Notes Theor. Comput. Sci. 162, 37–41 (2006)CrossRef

P. Baldan, N. Coceo, A. Marin, M. Simeoni, Petri nets for modelling metabolic pathways: a survey. Nat. Comput. 9(4), 955–989 (2010)MathSciNetCrossRef

M. Bremer, In the Shadow of the Holocaust – The Changing Image of German Jewry After 1945 (United States Holocaust Memorial Museum, Washington, 2008)

E. Fredkin, T. Toffoli, Conservative logic. Int. J. Theor. Phys. 21(3), 219–253 (1982)MathSciNetCrossRef

G. Haus, A. Rodriguez, Music description and processing by Petri Nets, in Advances in Petri Nets, ed. by G. Rozenberg. Lecture Notes in Computer Science, vol. 340 (Springer, Berlin, 1988), pp. 175–199

B. Krämer, SEGRAS—a formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems, in Proceedings of the 9th International Conference on Software Engineering, ICSE ’87 (IEEE Computer Society Press, Los Alamitos, 1987), pp. 116–125

B. Krämer, H.W. Schmidt, Types and modules for net specifications, in Concurrency and Nets, ed. by K. Voss, H.J. Genrich, G. Rozenberg (Springer, Berlin, 1987), pp. 269–286CrossRef

R. Milner, Elements of interaction: Turing Award Lecture. Commun. ACM 36(l), 78–89 (1993)CrossRef

L. Ojala, O.-M. Penttinen, E. Parviainen, Modeling and analysis of Margolus quantum cellular automata using net-theoretical methods, in Applications and Theory of Petri Nets, ed. by J. Cortadella, W. Reisig. Lecture Notes in Computer Science, vol. 3099 (Springer, Berlin, 2004), pp. 331–350

10.

C.A. Petri, Kommunikation mit Automaten, Ph.D. thesis, University Bonn, 1962

11.

C.A. Petri, Concurrency, in Net Theory and Applications, ed. by W. Brauer. Lecture Notes in Computer Science, vol. 84 (Springer, Berlin, 1980), pp. 251–260CrossRef

12.

C.A. Petri, Introduction to general net theory, in Net Theory and Applications, ed. by W. Brauer. Lecture Notes in Computer Science, vol. 84 (Springer, Berlin, 1980), pp. 1–19

13.

C.A. Petri, Cultural aspects of net theory. Soft Comput. 5(2), 141–145 (2001)CrossRef

14.

W. Reisig, Petri nets and algebraic specifications. Theor. Comput. Sci. 80(1), 1–34 (1991)MathSciNetCrossRef

15.

W. Scharlau, Das Glück Mathematiker zu sein: Friedrich Hirzebruch und seine Zeit (Springer, Berlin, 2017)CrossRef

16.

H.W. Schmidt, Specification and Correct Implementation of Non-sequential Systems Combining Abstract Data Types and Petri Nets (Oldenbourg, Munich, 1989)

17.

H.W. Schmidt, Prototyping and analysis of non-sequential systems using predicate-event nets. J. Syst. Softw. 15(1), 43–62 (1991)MathSciNetCrossRef

18.

E. Smith, Carl Adam Petri: Eine Biographie (Springer, Berlin, 2014)CrossRef

Titel: Petri Nets: The Next 50 Years—An Invitation and Interpretative Translation
verfasst von: Heinz W. Schmidt
Verlag: Springer International Publishing
Buch: Carl Adam Petri: Ideas, Personality, Impact
Print ISBN: 978-3-319-96153-8

Electronic ISBN: 978-3-319-96154-5

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-319-96154-5_7

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"