Dynamic modification of system structures using LLPNs

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

Volumn 2890, Issue , 2003, Pages 274-293

  Farwer, Berndt ^a   Misra, Kundan ^b  

^a UNIVERSITY OF HAMBURG   (Germany)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR ALGEBRA; PETRI NETS; RECONFIGURABLE HARDWARE; SEMANTICS;

COLOURED PETRI NETS; DYNAMIC MODIFICATIONS; INTUITIONISTIC LINEAR LOGIC; NON TERMINATIONS; PETRI NET SEMANTICS; STRUCTURE MODIFICATION; SYSTEM STRUCTURES; WORK IN PROGRESS;

COMPUTER CIRCUITS;

EID: 35048831750     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (30)

1. S. Abramsky. Computational interpretations of linear logic. Theoretical Computer Science, 111:3-57, 1993.
2. N. Biri and D. Galmiche. A modal linear logic for distribution and mobility. Talk given at LL'02 of FLoC'02, 2002.
3. C. Brown. Linear Logic and Petri Nets: Categories, Algebra and Proof. PhD thesis, AI Laboratory, Department of Computer Science, University of Edinburgh, 1991.
4. C. Brown, D. Gurr, and V. de Paiva. A linear specification language for Petri nets. Technical Report 363, Computer Science Department, Aarhus University, 1991.
5. C. Dufourd, A. Finkel, and Ph. Schnoebelen. Reset nets between decidability and undecidability. In Proceedings of the 25th International Colloquium on Automata, Languages, and Programming (ICALP'98), volume 1443 of LNCS. Springer-Verlag, 1998.
6. U. Engberg and G. Winskel. Petri nets as Models of Linear Logic. In A. Arnold, editor, Proceedings of Colloquium on Trees in Algebra and Programming, volume 389 of Lecture Notes in Computer Science, pages 147-161, Copenhagen, Denmark, 1990. Springer-Verlag.
7. U. H. Engberg and G. Winskel. Linear logic on Petri nets. Technical Report ISSN 0909-0878, BRICS, Department of Computer Science, University of Aarhus, DK-8000 Aarhus C Denmark, February 1994.
8. B. Farwer. Towards linear logic Petri nets. Technical report, Faculty of Informatics, University of Hamburg, 1996.
9. B. Farwer. A Linear Logic View of Object Systems. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Informatik-Berichte, No. 110: Workshop Concurrency, Specification and Programming, pages 76-87, Berlin, September 1998. Humboldt-Universität.
10. B. Farwer. Linear Logic Based Calculi for Object Petri Nets. PhD thesis, Fachbereich Informatik, Universität Hamburg, 1999. Published by Logos Verlag, 2000.
11. B. Farwer. A Linear Logic View of Object Petri nets. Fundamenta Informaticae, 37:225-246, 1999.
12. B. Farwer. A multi-region linear logic based calculus for dynamic petri net structures. Fundamenta Informaticae, 43(1-4):61-79, 2000.
13. B. Farwer and I. Lomazova. A systematic approach towards object-based petri net formalisms. In D. Bjørner and A. Zamulin, editors, Perspectives of System Informatics, Proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, pages 255-267. LNCS 2244. Springer-Verlag, 2001.
14. J.-Y. Girard. Linear logic: its syntax and semantics. In Girard et al. [15], pages 1-42.
15. J.-Y. Girard, Y. Lafont, and L. Regnier, editors. Advances in Linear Logic. Number 222 in Lecture notes series of the London Mathematical Society. Cambridge University Press, 1995.
16. K. Jensen. An Introduction to High-Level Petri nets. Technical Report ISSN 0105-8517, Department of Computer Science, University of Aarhus, October 1985.
17. T. Kis, K.-P. Neuendorf, and P. Xirouchakis. Scheduling with Chameleon Nets. In B. Farwer, D. Moldt, and M.-O. Stehr, editors, Proceedings of the Workshop on Petri Nets in System Engineering (PNSE'97), pages 67-77. Universität Hamburg, 1997.
18. J. Lilius. High-level nets and Linear logic. In Kurt Jensen, editor, Application and Theory of Petri nets, volume 616 of Lecture Notes in Computer Science, pages 310-327. Springer, 1992.
19. N. Marti-Oliet and J. Meseguer. From Petri nets to linear logic. Mathematical Structures in Computer Science, 1:69-101, 1991.
20. J. Meseguer, U. Montanari, and V. Sassone. Representation Theorems for Petri nets. In Foundations of Computer Science: Potential - Theory - Cognition, pages 239-249, 1997.
21. K. Misra. On LPetri nets. In K. Streignitz, editor, Proceedings of 13th European Summer School on Logic, Language and Information. European Association for Logic, Language and Information - FoLLI, European Association for Logic, Language and Information - FoLLI, May 2001.
22. D. Sangiorgi and D. Walker. The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.
23. V. Sassone. On the Algebraic Structure of Petri nets. Bulletin of the EATCS, 72:133-148, 2000.
24. A. Troelstra. Substructural Logics, chapter Tutorial on linear logic. Clarendon Press, 1993.
25. R. Valk. Self-modifying nets, a natural extension of petri nets. In Ausiello, G. and Böhm, C., editors, Automata, Languages and Programming (ICALP'93), volume 62 of Lecture Notes in Computer Science, pages 464-476, Berlin, 1978. Springer-Verlag.
26. R. Valk. Petri nets as token objects, an introduction to elementary object nets. In J. Desel and M. Silva, editors, Applications and Theory of Petri Nets 1998. Proceedings, volume 1420, pages 1-25. Springer-Verlag, 1998.
27. R. Valk. Reference and value semantics for object petri nets. In H. Weber, H. Ehrig, and W. Reisig, editors, Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 169-188. Fraunhofer Institute for Software and Systems Engineering ISST, Berlin, 1999.
28. R. Valk. Relating Different Semantics for Object Petri nets. Technical Report B-226-00, TGI - Theoretical Foundations of Computer Science Group, Computer Science, University of Hamburg, June 2000.
29. R. Valk. Concurrency in Communicating Object Petri nets. In G. Agha, F. de Cindio, and G. Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science, pages 164-195. Springer-Verlag, 2001.
30. R. Valk and C. Girault, editors. Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer-Verlag, 2003.