Bibliographie

Berndt Farwer

Coéditeur

2008

Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, and Georg Zetzsche.
Petri net controlled finite automata.
Fundamenta Informaticae, 85(1-4):111-121, 2008.

2007

Berndt Farwer, Manfred Kudlek, and Heiko Rölke.
Concurrent turing machines.
Fundamenta Informaticae, 79(3-4):303-317, 2007.

Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, and Georg Zetzsche.
On concurrent finite automata.
In Ludwik Czaja, editor, Proceedings of the Workshop CS&P'2007, volume 1, pages 180-190, September 2007.

Michael Köhler and Berndt Farwer.
Object nets for mobility.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 244-262. Springer-Verlag, 2007.

2006

Berndt Farwer, Manfred Kudlek, and Heiko Rölke.
Concurrent turing machines as rewrite theories.
In Proceedings of Concurrency, Specification, and Programming CS&P'2006, 2006.

Berndt Farwer, Manfred Kudlek, and Heiko Rölke.
Petri-net-controlled machine models.
Technical Report FBI-HH-B-274/06, Universität Hamburg, Fachbereich Informatik, 2006.

Berndt Farwer and Mauricio Varea.
Separation of control and data flow in high-level petri nets: Transforming dual flow nets into object Petri nets.
Fundamenta Informaticae, 72(1-3):123-137, 2006.  [link]

Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object nets.
Fundamenta Informaticae, 72(1-3):109-122, 2006.

2005

Michael Köhler and Berndt Farwer.
Petri net processes for zero-safe nets.
Fundamenta Informaticae, 67:1-11, 2005.

Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object nets.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2005). University of Warsaw, 2005.

Berndt Farwer and M. Varea.
Object-based control/data-flow analysis.
Technical Report DSSE-TR-2005-1, ECS, University of Southampton, 2005.  [link]

Berndt Farwer and M. Varea.
Transforming dual flow nets into object petri nets.
In Proceedings of Concurrency, Specification, and Programming CS&P'2005, volume 1, pages 112-125. University of Warsaw, 2005.

Berndt Farwer and Simon Kohl.
Object systems with process markings.
In Farwer and Moldt (éd.), Object Petri Nets, Processes, and Object Calculi, pages 1-11.

2004

Berndt Farwer and M. Leuschel.
Model checking object Petri nets in Maude and Prolog.
Technical Report FBI-HH-B-258/04, Fachbereich Informatik, Universität Hamburg, 2004.

Berndt Farwer and Manfred Kudlek.
A new synchronisation model for multi-level object Petri nets.
Fundamenta Informaticae, 60(1-4):131-142, 2004.

Berndt Farwer and Michael Köhler.
Mobile object-net systems and their processes.
Fundamenta Informaticae, 60(1-4):113-129, 2004.

Berndt Farwer and M. Leuschel.
Model checking object Petri nets in Prolog.
In Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, pages 20-31. ACM Press, 2004.

Berndt Farwer and Michael Köhler.
Net processes for zero-safe nets.
In G. Lindemann, H.-D. Burkhard, L. Czaja, A. Skowron, H. Schlingloff, and Z. Suraj, editors, Concurrency, Specification, and Programming CS&P 2004, volume 1, Informatik-Bericht Nr. 170, pages 40-51. Humboldt Universität, Berlin, 2004.

Berndt Farwer and Daniel Schradick.
Execution and analysis of P/T nets and object Petri nets with B.
In G. Lindemann, H.-D. Burkhard, L. Czaja, A. Skowron, H. Schlingloff, and Z. Suraj, editors, Concurrency, Specification, and Programming CS&P'2004, volume 1, Informatik-Bericht Nr. 170, pages 28-39. Humboldt Universität, Berlin, 2004.

2003

Berndt Farwer.
A logic of enablement.
In Girault and Valk (éd.), Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, section 16.3, pages 361-370.

Berndt Farwer.
Linear logic and Petri nets.
In Girault and Valk (éd.), Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, section 16.4, pages 370-382.

Berndt Farwer, Saraswati Kalvala, and Kundan Misra.
Controller synthesis for object Petri nets.
In Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, volume 2885 of Lecture Notes in Computer Science, pages 432-451. Springer-Verlag, November 2003.

Berndt Farwer and Michael Köhler.
Mobile object-net systems and their processes.
In L. Czaja, editor, Concurrency, Specification, and Programming CS&P'2003 (Volume 1), pages 134-149. Warsaw University, 2003.

Berndt Farwer and Manfred Kudlek.
On synchronisation in multi-level object Petri nets.
In L. Czaja, editor, Concurrency, Specification, and Programming CS&P'2003 (Volume 1), pages 150-156. Warsaw University, 2003.

Berndt Farwer, Manfred Kudlek, and K. Misra.
Some considerations on higher order Petri nets.
Fundamenta Informaticae, 54(2-3):185-193, 2003.

Berndt Farwer and K. Misra.
Modelling with hierarchical object Petri nets.
Fundamenta Informaticae, 55(2):129-147, 2003.

Berndt Farwer and Kundan Misra.
Dynamic modification of system structures using LLPNs.
In Perspectives Of System Informatics, Proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, volume 2890 of Lecture Notes in Computer Science, pages 274-293. Springer-Verlag, 2003.

Berndt Farwer and Kundan Misra.
Dynamic modification of system structures using LLPNs.
In Proceedings of Andrei Ershov Fifth International Conference PERSPECTIVES OF SYSTEM INFORMATICS, pages 177-190, July 2003.

Berndt Farwer and M. Leuschel.
Model checking object Petri nets in Prolog.
Technical Report DSSE-TR-2003-4, Declarative Systems and Software Engineering Group, School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK, 2003.

2002

Berndt Farwer.
Dynamic modification of object Petri nets. an application to modelling protocols with fork-join structures.
Fundamenta Informaticae, 51(1,2):91-101, 2002.

Berndt Farwer.
Omega-Automata.
In E. Grädel, W. Thomas, and Th. Wilke, editors, Automata, Logics, and Infinite Games, volume 2500 of Lecture Notes in Computer Science, pages 3-21. Springer-Verlag, 2002.

Berndt Farwer, Manfred Kudlek, and K. Misra.
Some considerations on higher order Petri nets.
In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P.Starke, editors, Concurrency, Specification, and Programming CS&P'2002 (Volume 1), pages 129-142 (9 pages). Humboldt-Universität zu Berlin, Informatik-Berichte 161, 2002.

Berndt Farwer and K. Misra.
Object net modification using LLPNs.
In Proceedings of the International Conference on Perspectives of System Informatics, Novosibirsk, July 2003. Presentation at LL'2002 of FLoC'02, Copenhagen, 2002.
Revised version to appear in: Proceedings of the International Conference on Perspectives of System Informatics, Novosibirsk, July 2003.

Berndt Farwer and K. Misra.
Hierarchical object systems.
In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P.Starke, editors, Concurrency, Specification, and Programming CS&P'2002 (Volume 1), pages 143-163 (16 pages). Humboldt-Universität zu Berlin, Informatik-Berichte 161, 2002.

Berndt Farwer, Daniel Moldt, and F. García-Vallés.
An approach to modelling FMS with dynamic object Petri nets.
In Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics., pages 1-6, Hammamet, Tunisia, October 2002.

Berndt Farwer.
Dynamic modification of object Petri nets. an application to modelling protocols with fork-join structures.
Fundamenta Informaticae, 51(1,2):91-101, 2002.

2001

Berndt Farwer.
Modelling protocols by object-based Petri nets.
In L. Czaja, editor, Concurrency Specification and Programming (CSP'01), Proceedings, pages 87-96. University of Warsaw, 2001.

Berndt Farwer.
Comparing concepts of object Petri net formalisms.
Fundamenta Informaticae, 47(3-4):247-258, 2001.

Berndt Farwer and I. Lomazova.
A systematic approach towards object-based Petri net formalisms.
In D. Bjorner and A. Zamulin, editors, Perspectives of System Informatics, Proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, volume 2244 of Lecture Notes in Computer Science, pages 255-267. Springer-Verlag, 2001.

Berndt Farwer and I. Lomazova.
A systematic approach towards object-based Petri net formalisms.
In Proceedings of Andrei Ershov Fourth International Conference Perspectives Of System Informatics, pages 141-146, July 2001.

2000

Berndt Farwer.
A multi-region linear logic based calculus for dynamic Petri net structures.
Fundamenta Informaticae, 43(1-4):61-79, 2000.

Berndt Farwer.
Relating formalisms for non-object-oriented object Petri nets.
In P. Starke L. Czaja, editor, Concurrency, Specification, and Programming (CS&P'2000). Proceedings. Volume 1, pages 53-64. Humboldt-Universität, Berlin, 2000.

Berndt Farwer.
Linear Logic Based Calculi for Object Petri Nets.
Logos Verlag, ISBN 3-89722-539-5, Berlin, Vogt-Kölln Str. 30, D-22527 Hamburg, 2000.

1999

Berndt Farwer.
Linear Logic Based Calculi for Object Petri Nets.
PhD thesis, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 1999.

Berndt Farwer.
A linear logic view of object Petri nets.
Fundamenta Informaticae, 37(3):225-246, 1999.

Berndt Farwer.
Towards a linear logic based calculus for structural modifications of Petri nets.
In H.-D. Burkhard, L. Czaja, H.-S. Nguyen, and P. Starke, editors, Concurrency Specification and Programming (CS&P'99), Proceedings, pages 47-58. University of Warsaw, 1999.

1998

Berndt Farwer.
A linear logic view of object systems.
In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Concurrency Specification and Programming (CS&P'98), Proceedings, pages 76-87. Humboldt-Universität, Berlin, 1998.

Berndt 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.

Berndt 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.

Berndt Farwer.
A logic of enablement.
Lecture Notes of the MATCH summer school 1998. System Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, 1998.

1996

Berndt Farwer.
Relating object systems to formulae of infinitary linear logic.
Talk given at the Third Seminar on Algebra, Logic, and Geometry in Informatics (ALGI 3), Tokyo, 1996.

1993

Berndt Farwer, P.-A. Kasten, A. Köster, and M. Kopka.
Nichtklassische Logiken.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik, 1993.

1992

Berndt Farwer, P.-A. Kasten, and A. Köster.
Parallele Algorithmen - Einführung und Bibliographie.
Manuskript, Fachbereich Informatik, Universität Hamburg, 1992.

1991

Berndt Farwer, P.-A. Kasten, A. Köster, and M. Kopka.
Omega-Sprachen.
Studienarbeit, Universität Hamburg, Fachbereich Informatik, 1991.

Coéditeur de

2008

Berndt Farwer and Michael Köhler-Bußmeier, editors.
Proceedings of the International Workshop on Logics for Agents and Mobility (LAM'08) at the European Summer School in Logic, Language, and Information (ESSLLI), volume 283 of Informatik-Reports. University of Hamburg, Department for Informatics, 2008.

2005

Berndt Farwer and Daniel Moldt, editors.
Object Petri Nets, Processes, and Object Calculi, number FBI-HH-B-265/05 in Bericht des Fachbereichs Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, August 2005. Universität Hamburg, Fachbereich Informatik.

1997

Berndt Farwer, Daniel Moldt, and Mark-Oliver Stehr, editors.
Proceedings of the Workshop on Petri Nets in System Engineering (PNSE'97), Hamburg, September 25-26, 1997, number FBI-HH-B-205/97 in Bericht des Fachbereichs Informatik. Universität Hamburg, Fachbereich Informatik, September 1997.