 |
      |
 |
| LLPN - Linear Logic Petri Nets |
 |
 |
|
Selected References
 Relating object systems to formulae of infinitary linear logic
B. Farwer Talk given at the Third Seminar on Algebra, Logic, and Geometry in Informatics (ALGI 3), Tokyo 1996 Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems
B. Farwer FBI-HH-B-211/98, Fachbereich Informatik, Universität Hamburg 1998 A Linear Logic View of Object Petri Nets
B. Farwer Fundamenta Informaticae IOS Press, Amsterdam 1999, Volume 37, Number 3, Pages 225-246  Linear Logic Based Calculi for Object Petri Nets
B. Farwer Logos Verlag, ISBN 3-89722-539-5, Berlin 2000 A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures
B. Farwer Fundamenta Informaticae IOS Press, Amsterdam 2000, Volume 43, Number 1-4, Pages 61-79 A Systematic Approach towards Object-Based Petri Net Formalisms
B. Farwer and I. Lomazova Perspectives of System Informatics, Proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk Bjorner ,D. and Zamulin, A. (Editors) LNCS 2244, Pages 255-267 Springer-Verlag Comparing Concepts of Object Petri Net Formalisms
B. Farwer Fundamenta Informaticae IOS Press, Amsterdam 2001, Volume 47, Number 3-4, Pages 247-258 Hierarchical Object Systems
B. Farwer and K. Misra Concurrency, Specification, and Programming CS&P'2002 (Volume 1) Humboldt-Universität zu Berlin, Informatik-Berichte 161 H.-D. Burkhard and L. Czaja and G. Lindemann and A. Skowron and P.Starke (Editors) Pages 143-163 2002 Object net modification using LLPNs
B. Farwer and K. Misra presentation at LL'2002 of FLoC'02, Copenhagen 2002 Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures
B. Farwer Fundamenta Informaticae 2002, Volume 51, Number 1-2, Pages 91-101 Some Considerations on Higher Order Petri Nets
B. Farwer and M. Kudlek and K. Misra Concurrency, Specification, and Programming CS&P'2002 (Volume 1) Humboldt-Universität zu Berlin, Informatik-Berichte 161 H.-D. Burkhard and L. Czaja and G. Lindemann and A. Skowron and P. Starke (Editors) Pages 129-142 2002 An Approach to Modelling FMS with Dynamic Object Petri Nets
B. Farwer and D. Moldt and F. García-Vallés Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics. 2002, Pages 1-6 Linear Logic and Petri Nets
B. Farwer In: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications R. Valk and C. Girault (Editors) Springer-Verlag 2003, Pages 370-382 Some Considerations on Higher Order Petri Nets
B. Farwer and M. Kudlek and K. Misra Fundamenta Informaticae 2003, Volume 54, Number 2-3, Pages 185-193 Modelling with Hierarchical Object Petri Nets
B. Farwer and K. Misra Fundamenta Informaticae 2003, Volume 55, Number 2, Pages 129-147 Controller Synthesis for Object Petri Nets
Berndt Farwer and Sara Kalvala and Kundan Misra Proceedings of ICFEM 2003 November 2003 To be published in: Lecture Notes in Computer Science Dynamic Modification of System Structures Using LLPNs
Berndt Farwer and Kundan Misra Perspectives of System Informatics, Proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk Pages 177-190 Mobile Object-Net Systems and their Processes
B. Farwer and M. Köhler Concurrency, Specification, and Programming CS&P'2003 (Volume 1), Warsaw University L. Czaja (Editor) Pages 134-149 2003 On Synchronisation in Multi-Level Object Petri Nets
B. Farwer and M. Kudlek Concurrency, Specification, and Programming CS&P'2003 (Volume 1), Warsaw University L. Czaja (Editor) Pages 150-156 2003 |
||
 |
 |