Skip to main content

2016 | OriginalPaper | Buchkapitel

The Contribution of Carl Adam Petri to Our Understanding of ‘Computing’

verfasst von : Giorgio De Michelis

Erschienen in: History and Philosophy of Computing

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Carl Adam Petri is well known for introducing the nets having his name. It is less known that net theory was, for Petri, the kernel of a radical shift in scientific knowledge. Carl Adam Petri has not written extensively during his life and this may have been an important reason that only the most applied part of his approach, the use of nets for designing concurrent systems, has become largely popular. In this paper, I try to popularize in a larger community the radical novelty and the relevance of the approach Petri used for developing scientific knowledge of physical and social phenomena. In short, we can say that Petri’s approach assumes that knowledge, even scientific knowledge, is rooted in human experience and there is no way, and no necessity, to connect it directly to an external reality.
This has, as we will see, much to do with the concept of computing and, indirectly, with the relations between science and philosophy. This paper will summarize three aspects of Petri’s thinking, which deserve a wider attention: the notion of model, the new algebraic foundations for a theory of modeling (whose main example are Petri Nets) and its application to Human Communication Pragmatics.

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!

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!

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!

Literatur
1.
Zurück zum Zitat Abramsky, S.: Petri nets, discrete physics, and distributed quantum computation. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 527–543. Springer, Heidelberg (2008)CrossRef Abramsky, S.: Petri nets, discrete physics, and distributed quantum computation. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 527–543. Springer, Heidelberg (2008)CrossRef
3.
Zurück zum Zitat Bernardinello, L., Ferigato, C., Pomello, L.: An algebraic model of observable properties in distributed systems. Theor. Comput. Sci. 290(1), 637–668 (2003)MathSciNetCrossRefMATH Bernardinello, L., Ferigato, C., Pomello, L.: An algebraic model of observable properties in distributed systems. Theor. Comput. Sci. 290(1), 637–668 (2003)MathSciNetCrossRefMATH
4.
Zurück zum Zitat Bridgman, P.W.: The Logic of Modern Physics. Macmillan, New York (1927)MATH Bridgman, P.W.: The Logic of Modern Physics. Macmillan, New York (1927)MATH
5.
Zurück zum Zitat Cardone, F.: Computers and the mechanics of communication. In: Beckmann, A., Mitrana, V., Soskova, M. (eds.) CiE 2015. LNCS, vol. 9136, pp. 3–12. Springer, Heidelberg (2015)CrossRef Cardone, F.: Computers and the mechanics of communication. In: Beckmann, A., Mitrana, V., Soskova, M. (eds.) CiE 2015. LNCS, vol. 9136, pp. 3–12. Springer, Heidelberg (2015)CrossRef
6.
Zurück zum Zitat Carnap R.: Einführung in die philosophie der Naturwissenschaften. Nimphenburg Verlag, Ullstein-Frankfurt (1986) Carnap R.: Einführung in die philosophie der Naturwissenschaften. Nimphenburg Verlag, Ullstein-Frankfurt (1986)
7.
Zurück zum Zitat De Michelis, G., Ellis, C.: Computer supported cooperative work and petri nets. In: Reisig, W., Rozenberg, G. (eds.) Lectures on Petri Nets II: Applications. LNCS, vol. 1492, pp. 125–153. Springer, Heidelberg (1998)CrossRef De Michelis, G., Ellis, C.: Computer supported cooperative work and petri nets. In: Reisig, W., Rozenberg, G. (eds.) Lectures on Petri Nets II: Applications. LNCS, vol. 1492, pp. 125–153. Springer, Heidelberg (1998)CrossRef
8.
Zurück zum Zitat Licklider, J.C.R., Taylor, R.W.: The computer as a communication device. Sci. Technol. 76(4), 21–31 (1968) Licklider, J.C.R., Taylor, R.W.: The computer as a communication device. Sci. Technol. 76(4), 21–31 (1968)
9.
Zurück zum Zitat Petri, C.A.: Kommunikation mit Automaten. Rheinisch-Westfaelisches Institut fuer Instrumentelle Mathematik and der Universitaet Bonn, Schrift Nr. 2. Also: Communication with Automata, Griffiss Air Force Base, New York, RADC-TR-65-377, vol. 1, suppl. 1 (1966). (English Translation) (1962) Petri, C.A.: Kommunikation mit Automaten. Rheinisch-Westfaelisches Institut fuer Instrumentelle Mathematik and der Universitaet Bonn, Schrift Nr. 2. Also: Communication with Automata, Griffiss Air Force Base, New York, RADC-TR-65-377, vol. 1, suppl. 1 (1966). (English Translation) (1962)
10.
Zurück zum Zitat Petri, C.A.: Communication disciplines. In: Shaw, B. (ed.) Computing System Design, Proceedings of the Joint IBM University of Newcastle upon Tyne Seminar, Septembet 1976, pp. 171–183. University of Newcastle upon Tyne (1977) Petri, C.A.: Communication disciplines. In: Shaw, B. (ed.) Computing System Design, Proceedings of the Joint IBM University of Newcastle upon Tyne Seminar, Septembet 1976, pp. 171–183. University of Newcastle upon Tyne (1977)
11.
Zurück zum Zitat Petri, C.A.: Modelling as a communication discipline. In: Beilner, H., Gelenbe, E. (eds.) Measuring, Modelling and Evaluating Computer Systems, pp. 435–449. North Holland, Amsterdam (1977) Petri, C.A.: Modelling as a communication discipline. In: Beilner, H., Gelenbe, E. (eds.) Measuring, Modelling and Evaluating Computer Systems, pp. 435–449. North Holland, Amsterdam (1977)
12.
13.
Zurück zum Zitat Petri, C.A.: “Forgotten” topics of net theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986, Part II. LNCS, vol. 255, pp. 500–514. Springer-Verlag, Berlin (1987) Petri, C.A.: “Forgotten” topics of net theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986, Part II. LNCS, vol. 255, pp. 500–514. Springer-Verlag, Berlin (1987)
14.
Zurück zum Zitat Petri, C.A.: Net modelling – fit for science? Lecture Presented at the 24th European Conference on Application and Theory of Petri Nets, Eindhoven (2003) Petri, C.A.: Net modelling – fit for science? Lecture Presented at the 24th European Conference on Application and Theory of Petri Nets, Eindhoven (2003)
16.
Zurück zum Zitat Rorty, R.: Philosophy and the Mirror of Nature. Princeton University Press, Princeton (1979) Rorty, R.: Philosophy and the Mirror of Nature. Princeton University Press, Princeton (1979)
17.
Zurück zum Zitat Shannon, C.E., Weaver, W.: The Mathematical Theory of Communication. The University of Illinois Press, Urbana (1949). (1979)MATH Shannon, C.E., Weaver, W.: The Mathematical Theory of Communication. The University of Illinois Press, Urbana (1949). (1979)MATH
18.
Zurück zum Zitat Silva, M.: Half a century after Carl Adam Petri’s Ph.D. thesis: a perspective on the field. Annu. Rev. Control 37, 191–219 (2013)CrossRef Silva, M.: Half a century after Carl Adam Petri’s Ph.D. thesis: a perspective on the field. Annu. Rev. Control 37, 191–219 (2013)CrossRef
19.
Zurück zum Zitat Simon, H.: Bounded rationality and organizational learning. Organ. Sci. 2(1), 125–134 (1991)CrossRef Simon, H.: Bounded rationality and organizational learning. Organ. Sci. 2(1), 125–134 (1991)CrossRef
20.
21.
Zurück zum Zitat Wiener, N.: A new theory of measurement: a study in the logic of mathematics. Proc. London Math. Soc. s2-19(1), 181–205 (1921). (1919)MathSciNetCrossRefMATH Wiener, N.: A new theory of measurement: a study in the logic of mathematics. Proc. London Math. Soc. s2-19(1), 181–205 (1921). (1919)MathSciNetCrossRefMATH
Metadaten
Titel
The Contribution of Carl Adam Petri to Our Understanding of ‘Computing’
verfasst von
Giorgio De Michelis
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-47286-7_11

Premium Partner