Publisher
Springer International Publishing
Reference17 articles.
1. 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
2. E. Best, R. Devillers, M. Koutny, Petri Net Algebra (Springer, Berlin, 2001)
3. 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
4. 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)
5. D. de Frutos-Escrig, O. Marroquín-Alonso, Ambient Petri nets. Electron. Notes Theor. Comput. Sci. 85(1), 39 (2003)