Replicated ambient petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2658, Issue , 2003, Pages 774-783

  De Frutos Escrig, David ^a   Alonso, Olga Marroquín ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); PETRI NETS;

AMBIENT CALCULUS; AMBIENTS; ELEMENTARY OBJECT SYSTEMS; IMPORTANT FEATURES; MOBILE COMPUTATIONS;

CALCULATIONS;

EID: 24944482290     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44862-4_84     Document Type: Article

References (11)

1. E. Best, R. Devillers and J. Hall. The Petri Box Calculus: A New Causal Algebra with Multi-label Communication. Advances in Petri Nets 1992, LNCS vol.609, pp.21-69. Springer-Verlag, 1992.
2. E. Best, R. Devillers and M. Koutny. Petri Net Algebra. EATCS Monographs on Theoretical Computer Science Series. Springer-Verlag, 2001.
3. L. Cardelli. Abstractions for Mobile Computation. Secure Internet Programming: Security Issues for Mobile and Distributed Objects, LNCS vol.1603, pp.51-94. Springer-Verlag, 1999.
4. L. Cardelli. Mobility and Security. Proceedings of the NATO Advanced Study Institute on Foundations of Secure Computation, pp.3-37. IOS Press, 2000.
5. D. Frutos Escrig and O. Marroquin Alonso. Ambient Petri Nets. Submitted for publication.
6. M. Koutny and E. Best. Operational and Denotational Semantics for the Box Algebra. Theoretical Computer Science 211, pp.1-83, 1999.
7. H. Maciá, V. Valero and D. Frutos Escrig. sPBC: A Markovian Extension of Finite Petri Box Calculus. Petri Nets and Performance Models PNPM'01, pp.207-216. IEEE Computer Society, 2001.
8. O. Marroquín Alonso and D. Frutos Escrig. Extending the Petri Box Calculus with Time. Applications and Theory of Petri Nets 2001, LNCS vol.2075, pp.303-322. Springer-Verlag, 2001.
9. R. Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. Applications and Theory of Petri Nets 1998, LNCS vol.1420, pp.1-25. Springer-Verlag, 1998.
10. R. Valk. Relating Different Semantics for Objects Petri Nets, Formal Proofs and Examples. Technical Report FBI-HH-B-226, pp.1-50. University of Hamburg, Department for Computer Science, 2000.
11. R. Valk. Concurrency in Communicating Object Petri Nets. Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets, LNCS vol.2001, pp.164-195. Springer-Verlag, 2001.