Facultad MIN
Departamento Informática
Fundamentos Teóricos de Informáticas

Bibliografía

Rüdiger Valk

Coeditor

2007

Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Socionic multi-agent systems based on reflexive petri nets and theories of social self-organisation.
Journal of Artificial Societies and Social Simulation, 10(1), 2007.  [link]

2006

Joaquín Ezpeleta and Rüdiger Valk.
Polynomial deadlock avoidance method for a class of nonsequential resource allocation systems.
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 36(6), 2006.

Michael Köhler and Rüdiger Valk.
Theoriebewertung und Modellerstellung: ein Erfahrungsbericht.
In R. Valk, editor, Ordnungsbildung und Erkenntnisprozesse. Hamburg University Press, 2006.

2005

Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Linking micro and macro description of scalable social systems using reference nets.
In Klaus Fischer, Michael Florian, and Thomas Malsch, editors, Socionics: Sociability of Complex Social Systems, volume 3413 of Lecture Notes in Artificial Intelligence, pages 51-67. Springer-Verlag, 2005.  [link]

2004

Michael Köhler, Heiko Rölke, and Rüdiger Valk.
Structural analysis of mobile agents using invariants of object nets.
In Moldt (ed.), Proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04).
DAIMI PB: Aarhus, Denmark, October 11-13, number 571.

Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Petri nets and social science.
Petri Net Newsletter, 67:5-9, 2004.

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
An extensible editor and simulation engine for Petri nets: Renew.
In Jordi Cortadella and Wolfgang Reisig, editors, Applications and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004, Bologna, Italy, June 2004. Proceedings, volume 3099 of Lecture Notes in Computer Science, pages 484-493, Berlin, Heidelberg, New York, June 2004. Springer.  [pdf]  [link]

Rüdiger Valk.
Object Petri Nets - Using the Nets-within-Nets Paradigm.
In Jörg Desel, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets: Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 819-848. Springer-Verlag, Berlin, Heidelberg, New York, 2004.  [pdf]  [link]

2003

Joaquín Ezpeleta and Rüdiger Valk.
A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets.
Technical Report FBI-HH-B-250, University of Hamburg, Department for Computer Science Report/03, 2003.
also: accepted paper for in the multiconference on Computational Engineering in Systems Applications (CESA) (Lille, France, July 9-11, 2003.

Michael Köhler, Roman Langer, Heiko Rölke, and Rüdiger Valk.
Machtmonopole und soziale Kontrolle - Modellierungen zu Norbert Elias.
In v. Lüde et al. (ed.), Sozionik: Modellierung soziologischer Theorie, pages 47-82.

Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Structuring of complex socionic systems using reference nets.
Bericht des Fachbereichs Informatik 248, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2003.

Rolf v. Lüde, Daniela Spresny, and Rüdiger Valk.
Rationalität und organisierte Anarchie oder: James Bond im Garbage Can.
In v. Lüde et al. (ed.), Sozionik: Modellierung soziologischer Theorie, pages 9-45.

2001

Rüdiger Valk.
Vorlesungsunterlagen zu F4.
Skript, Fachbereich Informatik, Universität Hamburg, 2001.

Rüdiger Valk.
Concurrency in communicating object petri nets.
In Gul Agha, Fiorella De Cindio, and Grzegorz Rozenberg, editors, Advances in Petri Nets: Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, pages 164-195. Springer-Verlag, Berlin, Heidelberg, New York, 2001.  [pdf]  [link]

2000

Daniel Moldt and Rüdiger Valk.
Object-oriented Petri nets in business process modeling.
In Wil van der Aalst, Jörg Desel, and Andreas Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, number 1806 in Lecture Notes in Computer Science, pages 254-273, Berlin, Heidelberg, New York, 2000. Springer-Verlag.

Rüdiger Valk.
Relating different semantics for object Petri nets, formal proofs and examples.
Technical Report FBI-HH-B-226, University of Hamburg, Department for Computer Science Report/00, 2000.  [pdf]

Rüdiger Valk.
Mobile and distributed object versus central referencing.
In Jens Grabowski and Stefan Heymer, editors, Proceedings of 10. GI-ITG-Fachgespräch FBT 2000: Formale Beschreibungstechniken für verteilte Systeme, Lübeck, June 2000, pages 7-27, Aachen, 2000. Shaker Verlag.

1999

Wil van der Aalst, Daniel Moldt, Rüdiger Valk, and Frank Wienberg.
Enacting interorganizational workflows using nets in nets.
In Jörg Becker, Michael zur Mühlen, and Michael Rosemann, editors, Proceedings of the 1999 Workflow Management Conference Workflow-based Applications, Münster, Nov. 9th 1999, Working Paper Series of the Department of Information Systems, pages 117-136, University of Münster, Department of Information Systems, Steinfurter Str. 109, 48149 Münster, 1999.
Working Paper No. 70.

Rüdiger Valk.
Reference and value semantics for object Petri nets.
In Proceedings of Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 21-22, 1999, pages 169-187. Fraunhofer Gesellschaft, ISST, 1999.

1998

Rüdiger Valk.
Petri nets as token objects - an introduction to elementary object nets.
In Jörg Desel and Manuel Silva, editors, 19th International Conference on Application and Theory of Petri nets, Lisbon, Portugal, number 1420 in Lecture Notes in Computer Science, pages 1-25, Berlin, Heidelberg, New York, 1998. Springer-Verlag.  [pdf]  [link]

1996

Rüdiger Valk.
On processes of object Petri nets.
Bericht des Fachbereichs Informatik FBI-HH-B-185/96, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, June 1996.

1993

Rainer Mackenthun and Rüdiger Valk.
Nachweisbar sichere Software durch Modellieren und Verifizieren mit Hilfe von Petrinetzen.
Technical Report FBI-HH-M-222, Universität Hamburg, Fachbereich Informatik, 1993.

Rüdiger Valk.
Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling.
In Ajmone Marsan, M., editor, Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, volume 691 of Lecture Notes in Computer Science, pages 433-452. Springer-Verlag, 1993.  [pdf]

1991

Rainer Mackenthun and Rüdiger Valk.
Verifying coloured nets in UNITY-style.
Fachbereichsmitteilung FBI-HH-M-227/91, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 1991.

Rüdiger Valk.
Modelling concurrency by Task/Flow EN systems.
In Proceedings 3rd Workshop on Concurrency and Compositionality, GMD-Studien, volume 191 of GMD-Studien, St. Augustin, Bonn, Germany, 1991. Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin, Bonn.

1987

Dirk Hauschildt and Rüdiger Valk.
Safe states in banker-like resource allocation problems.
Inf. Comput. (USA), 75(3):232-263, 1987.

Eike Jessen and Rüdiger Valk.
Rechensysteme: Grundlagen der Modellbildung.
Studienreihe Informatik. Springer-Verlag, Berlin, Heidelberg, New York, 1987.

Rüdiger Valk.
Modelling of task flow in systems of functional units.
124 FBI-HH-B-124/87, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 1987.

Rüdiger Valk.
Infinite behaviour and fairness.
In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, September 1986, volume 254 of Lecture Notes in Computer Science, pages 377-396. Springer-Verlag, 1987.  [pdf]

Rüdiger Valk.
Nets in computer organisation.
In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, September 1986, volume 254 of Lecture Notes in Computer Science, pages 377-396. Springer-Verlag, 1987.

1986

Dirk Hauschildt and Rüdiger Valk.
Safe states in banker like resource allocation problems.
In Advances in Petri Nets 1985, volume 222 of Lecture Notes in Computer Science, pages 253-277. Springer-Verlag, Berlin, Heidelberg, New York, 1986.

1985

Heino Carstensen and Rüdiger Valk.
Infinite behaviour and fairness in Petri nets.
In Grzegorz Rozenberg, Hartmann J. Genrich, and Gérard Roucairol, editors, Advances in Petri Nets 1984, volume 188 of Lecture Notes in Computer Science, pages 83-100. Springer-Verlag, 1985.  [pdf]  [link]

Rüdiger Valk and Matthias Jantzen.
The residue of vector sets with applications to decidability problems in Petri nets.
In Grzegorz Rozenberg, Hartmann Genrich, and Gérard Roucairol, editors, Advances in Petri Nets 1984 European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, volume 188 of Lecture Notes in Computer Science, pages 234-258, Berlin, Heidelberg, New York, 1985. Springer-Verlag.

Rüdiger Valk and Matthias Jantzen.
The residue of vector sets with applications to decidability problems in Petri nets.
Acta Informatica 21, pages 643-674, 1985.  [pdf]

1984

Matthias Jantzen and Rüdiger Valk.
The residue of vector sets with applications to decidability problems in Petri nets.
Bericht des Fachbereichs Informatik FBI-HH-B-101/84, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, February 1984.

1983

Matthias Jantzen and Rüdiger Valk.
A solution to problem 24(iii).
EATCS-Bulletin, 21:203-204, 1983.

Rüdiger Valk.
Infinite behaviour of Petri nets.
Theoretical Computer Science 25, pages 311-341, 1983.  [pdf]

Rüdiger Valk.
Facts in Place/Transition-nets with unrestricted capacities.
Annales Univ. Scientiarum Budapestinensis, Sectio Computatorica, Tomus IV., pages 97-105, 1983.  [pdf]

1982

Rüdiger Valk.
Test on zero in Petri nets.
In Claude Girault and Wolfgang Reisig, editors, Informatik-Fachberichte 52: Application and Theory of Petri Nets: Selected Papers from the First and Second European Workshop on Application and Theory of Petri Nets, pages 193-197. Springer-Verlag, 1982.

1981

Rüdiger Valk and G. Vidal-Naquet.
Petri nets and regular languages.
Journal of Computer and System Sciences, 23(3):299-325, 1981.

1980

Matthias Jantzen and Rüdiger Valk.
Formal properties of place/transition nets.
In Brauer (ed.), Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979, pages 165-212.

1978

Rüdiger Valk.
On the computational power of extended Petri nets.
In Jósef Winkowski, editor, Mathematical Foundations of Computer Science 1978. Proceedings, 7th Symposium Zakopane, volume 64 of Lecture Notes in Computer Science, pages 526-535, Berlin, Heidelberg, New York, 1978. Springer-Verlag.

Rüdiger Valk.
Self-modifying nets, a natural extension of Petri nets.
In G. Ausiello and C. Böhm, editors, Automata, Languages and Programming, volume 62 of Lecture Notes in Computer Science, pages 464-476, Berlin, Heidelberg, New York, 1978. Springer-Verlag.

1977

Rüdiger Valk.
Self-modifying nets.
Mitteilung IFI-HH-B-34/77, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, July 1977.

Rüdiger Valk and G. Vidal-Naquet.
On the rationality of Petri net languages.
In H. Tzschach, H. Waldschmidt, and H.K.G. Walter, editors, Theoretical Computer Science, Darmstadt, March, 1977, volume 48 of Lecture Notes in Computer Science, pages 319-328, Berlin, Heidelberg, New York, 1977. Springer-Verlag.

Coeditor de

2009

Rolf v. Lüde, Daniel Moldt, and Rüdiger Valk, editors.
Selbstorganisation und Governance in künstlichen und sozialen Systemen, volume 5 of Reihe: Wirtschaft - Arbeit - Technik.
Lit-Verlag, Münster - Hamburg - London, 2009.  [link]

Kees van Hee and Rüdiger Valk.
Special issue: Petri nets (2008) - selected and augmented papers from the Petri net conference 2008, xian, china.
Fundamenta Informaticae, 93(3-4), 2009.

2008

Lawrence Cabac , Till Dörges , and Heiko Rölke.
A monitoring toolset for Petri net-based agent-oriented software engineering.
In Rüdiger Valk and Kees M. van Hee, editors, 29th International Conference on Application and Theory of Petri Nets, Xi'an, China, volume 5062 of Lecture Notes in Computer Science, pages 399-408. Springer-Verlag, June 2008.  [pdf]

Matthias Jantzen and Georg Zetzsche.
Labeled step sequences in Petri nets.
In Kees M. van Hee and Rüdiger Valk, editors, Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, volume 5062 of Lecture Notes in Computer Science, pages 270-287, Berlin, Heidelberg, New York, 2008. Springer-Verlag.

2003

C. Girault and Rüdiger Valk, editors.
Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, Berlin, Heidelberg, New York, 2003. Springer-Verlag.

Rolf v. Lüde, Daniel Moldt, and Rüdiger Valk, editors.
Sozionik: Modellierung soziologischer Theorie, volume 2 of Reihe: Wirtschaft - Arbeit - Technik.
Lit-Verlag, Münster - Hamburg - London, 2003.  [link]

1999

Olaf Kummer.
A Petri net view on synchronous channels.
Petri Net Newsletter, 56:7-11, 1999.

1998

Daniel Moldt.
System engineering and validation.
In C. Girault and Rüdiger Valk, editors, Systems Engineering: A Petri Net Based Approach to Modelling, Verification, and Implementation, MATCH Advanced School, Jaca, Spain, September 1998.

1997

Christian Freksa, Matthias Jantzen, and Rüdiger Valk, editors.
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday, volume 1337 of Lecture Notes in Computer Science.
Springer-Verlag, Berlin, Heidelberg, New York, 1997.

1995

Tom Holvoet.
Agents and Petri nets.
In O. Herzog, W. Reisig, and Rüdiger Valk, editors, Petri Net Newsletters, number 49 in Petri Net Newsletters, 1995.

1992

Frits Feldbrugge.
Petri net tool overview 1992.
In O. Herzog, W. Reisig, and Rüdiger Valk, editors, Petri Net Newsletters, number 41 in Petri Net Newsletters, pages 2-42, April 1992.