A multi-region linear logic based calculus for dynamic Petri net structures

Fundamenta Informaticae

Volumn 43, Issue 1-4, 2000, Pages 61-79

  Farwer, Berndt ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042705572     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-2000-43123404     Document Type: Article

References (17)

1. C. Brown. Relating Petri Nets to Formulae of Linear Logic. Technical report, Department of Computer Science, University of Edinburgh, 1989.
2. J. Desel and M. Silva, editors. Applications and Theory of Petri Nets 1998. Proceedings, LNCS 1420. Springer-Verlag, 1998.
3. B. Farwer. A Linear Logic View of Object Systems. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Concurrency Specification and Programming (CSP'98), Proceedings, pages 76-87. Humboldt-Universität, Berlin, 1998.
4. B. Farwer. Linear Logic and Petri Nets. Lecture Notes of the MATCH summer school 1998. System Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, 1998.
5. B. Farwer. Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems. Technical report, FBI-HH-B-211/98, Fachbereich Informatik, Universität Hamburg, 1998.
6. B. Farwer. A Linear Logic View of Object Petri Nets. Fundamenta Informaticae, 37(3):225-246, 1999.
7. J.-Y. Girard. Linear Logic. Theoretical Computer Science, 50:1-102, 1987.
8. J.-Y. Girard. A New Constructive Logic: Classical Logic. Mathematical Structures in Computer Science, 1:255-296, 1991.
9. A. Gugliielmi. Sequentiality by Linear Implication and Universal Quantification. In Structures in Concurrency Theory, pages 160-174. Springer-Verlag, 1995.
10. M. I. Kanovich. Petri Nets, Horn Programs, Linear Logic, and Vector Games. In M. Hagiya and J. C. Mitchell, editors, Theoretical Aspects of Computer Software, International Symposium TACS'94, Sendai, Japan, LNCS 789, pages 642-666. Springer-Verlag, 1994.
11. E. Kindler and H. Völzer. Flexibility in Algebraic Nets. In Desel and Silva [2], pages 345-364.
12. N. Martí-Oliet and J. Meseguer. From Petri Nets to Linear Logic. Technical report, SRI International, Computer Science Laboratory, Stanford, 1989.
13. J. Meseguer. Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science, 96:73-155, 1992.
14. R. Valk. How to Define Markings in Object Systems. Petri Net Newsletter 50, 1996.
15. R. Valk. On Processes of Object Petri Nets. Technical report, FBI-HH-B-185/96, Fachbereich Informatik, Universität Hamburg, 1996.
16. R. Valk. Petri Nets as Token Objects. An Introduction to Elementary Object Nets. In Desel and Silva [2], pages 1-25.
17. G. Winskel and M. Nielsen. Models for Concurrency. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science. Vol. 4: Semantic Modelling, pages 1-148. Clarendon Press, 1995.