Abstract
Drawing inspiration for his chapter title from a Jim Jarmusch film, the author describes an encounter with Carl Adam Petri that captures his unusual style and his deep and original thinking.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
The similarity of the working processes of Petri and Socrates was pointed to me by Manuel Silva.
- 2.
I also own a second piece of Petri memorabilia: a Petri-Puzzle, signed by Petri, that was distributed at the ceremony in which he was handed the Siemens Ring by the German president Roman Herzog (Fig. 5). After the ceremony Petri sat at a table and we queued for him to sign our puzzles with his careful calligraphy.
- 3.
He even had to pass a job interview with Petri, which must have been an extraordinary experience.
References
E. Best, J. Esparza, Model checking of persistent Petri nets, in Computer Science Logic, 5th Workshop, CSL ’91, Berne, October 7–11, 1991, Proceedings, ed. by E. Börger, G. Jäger, H. Kleine Büning, M. M. Richter. Lecture Notes in Computer Science, vol. 626 (Springer, Berlin, 1991), pp. 35–52
E. Best, C. Fernández, Nonsequential Processes - A Petri Net View. EATCS Monographs on Theoretical Computer Science, vol. 13 (Springer, Berlin, 1988)
J. Esparza, K. Heljanko, Unfoldings - A Partial-Order Approach to Model Checking. Monographs in Theoretical Computer Science. An EATCS Series (Springer, Berlin, 2008)
K.L. McMillan, Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, in Computer Aided Verification, Fourth International Workshop, CAV ‘92, Montreal, Canada, June 29–July 1, 1992, Proceedings, ed. by G. von Bochmann, D.K. Probst. Lecture Notes in Computer Science, vol. 663 (Springer, Berlin, 1992), pp. 164–177
M. Nielsen, G.D. Plotkin, G. Winskel, Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13(1), 85–108 (1981)
C. Rodríguez, M. Sousa, S. Sharma, D. Kroening, Unfolding-based partial order reduction, in 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, September 1.4, 2015, ed. by L. Aceto, D. de Frutos Escrig. Leibniz International Proceedings in Informatics, vol. 42 (Dagstuhl Publishing, Dagstuhl, 2015), pp. 456–469
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Esparza, J. (2019). Coffee and Cigarettes. In: Reisig, W., Rozenberg, G. (eds) Carl Adam Petri: Ideas, Personality, Impact. Springer, Cham. https://doi.org/10.1007/978-3-319-96154-5_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-96154-5_13
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)