Skip to main content
SpringerLink
Log in

Some Interactions with Carl Adam Petri over Three Decades

  • Chapter
  • First Online:
Book cover Carl Adam Petri: Ideas, Personality, Impact

  • 415 Accesses

Abstract

We can say that Carl Adam Petri was a mathematician, more precisely a systems theorist, in a computer science environment. Interested in the description of some real-life situations, he essentially worked at the conceptual level, providing foundations for new ways of representing systems. This may be viewed as a profile less frequently exercised with success than that of a “theorem prover”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 49.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    For its translation into English see: C. A. Petri, Communication with automata. Rome Air Development Center TR-65-377, New York, 1966.

  2. 2.

    Cellule Universelle pour Séquences Asynchrones, a CUSA is an interesting kind of memory cell that keep “hazards under control.” It was proposed by René David in his Thèse d’État in 1969. For a later but easy to reach reference, see [1].

  3. 3.

    Among the precedent works, Genrich and Lautenbach [4] use LPP for computing in marked graphs (a restricted subclass of ordinary net models for which the incidence matrix is fortunately unimodular). Additionally, Memmi and Roucairol [5] and Sifakis [8] use the so-called Minkowski-Farkas lemma or alternatives theorems in isolation.

  4. 4.

    Therefore, in 2017 we celebrated its 475th anniversary. The foundation was made at the request of the syndics of Zaragoza. The emperor signed the privilege that elevated the medieval Estudio General de Artes de Zaragoza to the rank of university of all sciences in the Cortes de Monzón. This new academic rank of the old medieval institution was confirmed by pontifical authority in 1554, when Julius III issued a papal bull, confirmed by Paul IV in 1555.

References

  1. R. David, Modular design of asynchronous circuits defined by graphs. IEEE Trans. Comput. 26(8), 727–737 (1977)

    Article  Google Scholar 

  2. R. David, H. Alla, Continuous Petri nets, in Proceedings of the 8th European Workshop on Application and Theory of Petri Nets, Zaragoza (1987), pp. 275–294

    Google Scholar 

  3. R. David, H. Alla, Discrete, Continuous and Hybrid Petri Nets, 1st ed. (Springer, Berlin, 2010) (2004)

    Book  Google Scholar 

  4. H.J. Genrich, K. Lautenbach, Synchronisationsgraphen. Acta Inf. 2, 143–161 (1973)

    Google Scholar 

  5. G. Memmi, G. Roucairol, Linear algebra in net theory, in Net Theory and Applications, ed. by W. Brauer. Lecture Notes in Computer Science, vol. 84 (Springer, Berlin, 1979), pp. 213–223

    Chapter  Google Scholar 

  6. C.A. Petri, Kommunikation mit Automaten. Ph.D. thesis, Technischen Hochschule Darmstadt, 1962

    Google Scholar 

  7. C.A. Petri, Interpretations of net theory. Technical Report 75/07, GMD, St. Augustin (1975)

    Google Scholar 

  8. J. Sifakis, Structural properties of Petri nets, in Mathematical Foundations of Computer Science 1978, ed. by J. Winkowski. Lecture Notes in Computer Science, vol. 64 (Springer, Berlin, 1978), pp. 474–483

    Chapter  Google Scholar 

  9. M. Silva, Towards a synchrony theory for P/T nets, in Concurrency and Nets, ed. by K. Voss et al. (Springer, Berlin, 1987), pp. 435–460

    Chapter  Google Scholar 

  10. M. Silva, Individuals, populations and fluid approximations: a Petri net based perspective. Nonlinear Anal. Hybrid Syst. 22, 72–97 (2016)

    Article  MathSciNet  Google Scholar 

  11. M. Silva, J.M. Colom, On the computation of structural synchronic invariants in P/T nets, in Advances in Petri Nets 1988, ed. by G. Rozenberg. Lecture Notes in Computer Science, vol. 340 (Springer, Berlin, 1988), pp. 387–417

    Google Scholar 

  12. M. Silva-Suárez, R. David, On the programming of asynchronous sequential systems by logic equations, in IFAC International Symposium on Discrete Systems (Dresden, GDR), IFAC Proceedings, vol. 10(2), Part 2 (1977), pp. 120–129

    Google Scholar 

  13. M. Silva, T. Murata, B-fairness and structural B-fairness in Petri net models of concurrent systems. J. Comput. Syst. Sci. 44(3), 447–477 (1992)

    Article  MathSciNet  Google Scholar 

  14. M. Silva, E. Teruel, A systems theory perspective of discrete event dynamic systems: the Petri net paradigm, in Symposium on Discrete Events and Manufacturing Systems. CESA ’96 IMACS Multiconference, Lille, July 1996, pp. 1–12

    Google Scholar 

  15. I. Suzuki, T. Kasami, Three measures for synchronic dependence in Petri nets. Acta Inf. 19(4), 325–338 (1983)

    Article  MathSciNet  Google Scholar 

  16. K. Voss, H. Genrich, G. Rozenberg (eds.), Concurrency and Nets (Springer, Berlin, 1987)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto de Investigación en Ingeniería de Aragón (I3A), Universidad de Zaragoza, Zaragoza, Spain

    Manuel Silva

Authors
  1. Manuel Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Manuel Silva .

Editor information

Editors and Affiliations

  1. Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany

    Wolfgang Reisig

  2. Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Silva, M. (2019). Some Interactions with Carl Adam Petri over Three Decades. In: Reisig, W., Rozenberg, G. (eds) Carl Adam Petri: Ideas, Personality, Impact. Springer, Cham. https://doi.org/10.1007/978-3-319-96154-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-96154-5_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-96153-8

  • Online ISBN: 978-3-319-96154-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation