Valk, R.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger:
  Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets. 2005.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger:
  Petri Nets and Social Science. 2004.

• Köhler, Michael; Rölke, Heiko; Valk, Rüdiger:
  Compositional Analysis of Mobile Agents using Structural Invariants of Object Nets. 2004.

• Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger:
  An Extensible Editor and Simulation Engine for Petri Nets: Renew. 2004.

• Valk, Rüdiger:
  Object Petri Nets: Using the Nets-within-Nets Paradigm. 2004.

• Girault, Claude; Valk, Rüdiger:
  Petri Nets for Systems Engineering --- A Guide to Modeling, Verification, and Applications. 2003.

• Köhler, Michael; Rölke, Heiko; Moldt, Daniel; Valk, Rüdiger; von Lüde, Rolf; Langer, Roman; Spresny, Daniela:
  Sozionik: Modellierung soziologischer Theorie. 2003.

• Valk, Rüdiger:
  Modelling and Analysis Techniques by Example. 2002.

• Valk, Rüdiger:
  Petri Nets - Basic Concepts: Basic Definitions. 2002.

• Valk, Rüdiger:
  Petri Nets - Basic Concepts: Essential Features of Petri Nets. 2002.

• Valk, Rüdiger:
  Petri Nets - Basic Concepts: Intuitive Models. 2002.

• Valk, R.:
  Concurrency in Communicating Object Petri Nets. 2001.

• Moldt, D.; Valk, R.:
  Object oriented Petri nets in business process modeling. 2000.

• Valk, Rüdiger:
  Mobile and Distributed Object versus Central Referencing. 2000.

• Valk, Rüdiger:
  Relating Different Semantics for Object Petri Nets, Formal Proofs and Examples. 2000.

• Valk, Rüdiger:
  Reference and Value Semantics for Object Petri Nets. 1999.

• van der Aalst, W.M.P.; Moldt, Daniel; Valk, Rüdiger; Wienberg, Frank:
  Enacting Interorganizational Workflows using Nets in Nets. 1999.

• Valk, Rüdiger:
  Petri Nets as Token Objects - An Introduction to Elementary Object Nets. 1998.

• Valk, Rüdiger:
  On Processes of Object Petri Nets. 1996.

• Valk, Rüdiger:
  How to define markings in object systems. 1996.

• Valk, Rüdiger:
  Petri Nets as Dynamical Objects. 1995.

• Valk, Rüdiger:
  Distributed GCD. 1994.

• Valk, Rüdiger:
  Extending S-invariants for Coloured and Selfmodifying Nets. 1994.

• Valk, Rüdiger:
  Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. 1993.

• Valk, Rüdiger:
  Modelling Concurrency by Task/Flow EN Systems. 1991.

• Valk, Rüdiger:
  Extension and Intension of Actions. 1987.

• Valk, Rüdiger:
  Infinite Behaviour and Fairness. 1987.

• Valk, Rüdiger:
  Modelling of Task Flow in Systems of Functional Units. 1987.

• Valk, Rüdiger:
  Nets in Computer Organization. 1987.

• Valk, Rüdiger:
  On Theory and Practice: an Exercise in Fairness. 1987.

• Hauschildt, D.; Valk, R.:
  Safe States in Banker-like Resource Allocation Problems. 1986.

• Carstensen, H.; Valk, R.:
  Infinite Behaviour and Fairness in Petri Nets. 1985.

• Herzog, O.; Reisig, W.; Valk, R.:
  Petri-Netze: ein AbriÑ ihrer Grundlagen und Anwendungen, Teil 1. 1984.

• Valk, Rüdiger; Jantzen, Matthias:
  The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. 1984.

• Valk, Rüdiger:
  Facts in Place/Transition-Nets with Unrestricted Capacities. 1983.

• Valk, Rüdiger:
  Infinite Behaviour of Petri Nets. 1983.

• Valk, Rüdiger; Carstensen, Heino:
  Some News from the Five Philosophers. 1983.

• Valk, Rüdiger:
  Test on Zero in Petri Nets. 1982.

• Valk, R.; Vidal-Naquet, G.:
  Petri Nets and Regular Languages. 1981.

• Valk, Rüdiger:
  Generalizations of Petri Nets. 1981.

• Berthelot, G.; Roucairol, G.; Valk, R.:
  Reduction of Nets and Parallel Programs. 1980.

• Jantzen, M.; Valk, R.:
  Formal Properties of Place/Transition Nets. 1980.

• Valk, Rüdiger:
  Concluding from Net Behaviour to Net Structure or A Necessary Conditon for the Holding of a Fact. 1980.

• Kowalk, W.; Valk, R.:
  On Reduction of Parallel Programs. 1979.

• Valk, Rüdiger:
  On the Computational Power of Extended Petri Nets. 1978.

• Valk, Rüdiger:
  Self-Modifying Nets, a Natural Extension of Petri Nets. 1978.

• Valk, R.; Vidal-Naquet, G.:
  On the Rationality of Petri Net Languages. 1977.

• Valk, Rüdiger:
  Self-Varying Nets. 1977.

• Valk, Rüdiger:
  Self-Modifying Nets. 1977.

Back to the Petri Nets Bibliography