Abstract
It is not uncommon that the simplicity of a scientist’s proposal is used by some people to undervalue its goals, with the argument that anybody would have finally proposed such an “obvious” theory. The author has the impression that Carl Adam Petri was sometimes treated in this way, possibly because he preferred to concentrate on the conceptually essential aspects of his developments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
O. Marroquín-Alonso, D. de Frutos-Escrig, Extending the Petri box calculus with time, in Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, ed. by J.M. Colom, M. Koutng. Lecture Notes in Computer Science, vol. 2075 (Springer, Berlin, 2001), pp. 303–322
E. Best, R. Devillers, M. Koutny, Petri Net Algebra (Springer, Berlin, 2001)
L. Cardelli, Abstraction for mobile computation, in Secure Internet Programming, Security Issues for Mobile and Distributed Objects, ed. by J. Vitek, C.D. Jensen. Lecture Notes in Computer Science, vol. 1603 (Springer, Berlin, 1999), pp. 51–94
D. de Frutos-Escrig, Decidability of home states in place transition systems. Technical report, Dpto. Informática y Automática. Univ. Complutense de Madrid (1986)
D. de Frutos-Escrig, O. Marroquín-Alonso, Ambient Petri nets. Electron. Notes Theor. Comput. Sci. 85(1), 39 (2003)
D. de Frutos-Escrig, C. Johnen, Decidability of home space property. Technical report, Laboratoire de Recherche en Informatique. Univ. de Paris-Sud, Centre d’Orsay, Report LRI-503 (1989)
D. de Frutos-Escrig, V. Valero-Ruiz, O. Marroquín-Alonso, Decidability of properties of timed-arc Petri nets, in Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, ed. by M. Nielsen, D. Simpson. Lecture Notes in Computer Science, vol. 1825 (Springer, Berlin, 2000), pp. 187–206
W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, J. Misra, Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra (Springer, Berlin, 2011)
C.A.R. Hoare, The emperor’s old clothes. Commun. ACM 24(2), 75–83 (1981)
K. Jensen, L.M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems (Springer, Berlin, 2009)
R.M. Karp, R.E. Miller, Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147–195 (1969)
H. Macià, V. Valero-Ruiz, F. Cuartero, D. de Frutos-Escrig, A congruence relation for sPBC. Formal Methods Syst. Des. 32(2), 85–128 (2008)
F. Rosa-Velardo, D. de Frutos-Escrig, Name creation vs. replication in Petri net systems. Fundam. Inform. 88(3), 329–356 (2008)
F. Rosa-Velardo, D. de Frutos-Escrig, Decidability problems in Petri nets with names and replication. Fundam. Inform. 105(3), 291–317 (2010)
V. Valero-Ruiz, D. de Frutos-Escrig, F. Cuartero, Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems, in Proceedings of 4th International Workshop on Petri Nets and Performance Models, PNPM 1991 (IEEE, Los Alamitos, 1991), pp. 154–163
V. Valero-Ruiz, D. de Frutos-Escrig, F. Cuartero, On non-decidability of reachability for timed-arc Petri nets, in Proceedings of 8th International Workshop on Petri Nets and Performance Models, PNPM 1999 (IEEE Computer Society, Los Alamitos, 1999), pp. 188–196
E. Smith, Carl Adam Petri: Life and Science (Springer, Berlin, 2015)
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
de Frutos Escrig, D. (2019). Petri Nets Are (Not Only) Distributed Automata. In: Reisig, W., Rozenberg, G. (eds) Carl Adam Petri: Ideas, Personality, Impact. Springer, Cham. https://doi.org/10.1007/978-3-319-96154-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-96154-5_8
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)