Vogler, W.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged processes: a new condensed representation of Petri net behaviour. .

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged processes: a new condensed representation of Petri net behaviour. 2006.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged Processes - A New Condensed Representation of Petri Net Behaviour. 2005.

• Schaefer, Mark; Vogler, Walter:
  Component Refinement and CSC Solving for STG Decomposition. 2005.

• Vogler, W.; Kangsah, B.:
  Improved Decomposition of STGs. 2005.

• Khomenko, Victor; Kondratyev, Alex; Koutny, Maciej; Vogler, Walter:
  Merged Processes - A New Condensed Representation of Petri Net Behaviour. 2005.

• Schäfer, Mark; Vogler, Walter; Jancar, Petr:
  Determinate STG Decomposition of Marked Graphs. 2005.

• Bihler, Elmar; Vogler, Walter:
  Timed Petri Nets: Efficiency of Asynchronous Systems. 2004.

• Vogler, Walter:
  Faster asynchronous systems. 2003.

• Vogler, Walter; Wollowski, Ralf:
  Decomposition in Asynchronous Circuit Design. 2002.

• Khomenko, Victor; Koutny, Maciej; Vogler, Walter:
  Canonical Prefixes of Petri Net Unfoldings. 2002.

• Vogler, Walter:
  Partial S-Invariants for the Verification of Infinite Systems Families. 2001.

• Vogler, Walter:
  Efficiency of Asynchronous Systems That Communicate Asynchronously. 2000.

• Vogler, Walter:
  Concurrent Implementation of Asynchronous Transition Systems. 1999.

• Bihler, Elmar; Vogler, Walter:
  FastAsy - Ein Tool zur zeitlichen Effizienzbestimmung. 1998.

• Vogler, W.; Semenov, A.; Yakovlev, A.:
  Unfolding and finite prefix for nets with read arcs. 1998.

• Bihler, Elmar; Vogler, Walter:
  Efficiency of Token-Passing MUTEX-Solutions - Some Experiments. 1998.

• Vogler, Walter:
  The Limit of Split-n-Language Equivalence. 1996.

• Vogler, Walter:
  Timed Testing of Concurrent Systems. 1996.

• Esparza, Javier; Römer, Stefan; Vogler, Walter:
  An Improvement of McMillan's Unfolding Algorithm. 1996.

• Jenner, Lars; Vogler, Walter:
  Fast Asynchronous Systems in Dense Time. 1995.

• Vogler, Walter:
  Faster asynchronous systems. 1995.

• Vogler, Walter:
  Partial Order Semantics and Weak Fairness. 1995.

• Vogler, Walter:
  Bisimulation and action refinement. 1993.

• Vogler, Walter:
  Modular Construction and Partial Order Semantics of Petri Nets. 1992.

• Vogler, Walter:
  Partial Words versus Processes: A Short Comparison. 1992.

• Brauer, Wilfried; Gold, Robert; Vogler, Walter:
  A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. 1991.

• Vogler, Walter:
  Asynchronous Communication of Petri Nets and the Refinement of Transitions. 1991.

• Vogler, Walter:
  Bisimulation and Action Refinement. 1991.

• Vogler, W.:
  Deciding History Preserving Bisimilarity. 1991.

• Vogler, Walter:
  Executions: A New Partial-order Semantics of Petri Nets. 1991.

• Vogler, Walter:
  Failure Semantics Based on Interval Semiwords is a Congruence for Refinement. 1991.

• Vogler, W.:
  Generalized OM-bisimulation. 1991.

• Vogler, Walter:
  Is Partial Order Semantics Necessary for Action Refinement?. 1991.

• Vogler, Walter:
  Failure Semantics of Petri Nets and the Refinement of Places and Transitions. 1990.

• Vogler, Walter:
  Representation of a Swapping Class by One Net. 1990.

• Vogler, Walter:
  Bisimulation and Action Refinement. 1990.

• Gold, Robert; Vogler, Walter:
  Quality Criteria for Partial Order Semantics of Place/Transition Nets. 1990.

• Vogler, Walter; Gold, Robert:
  Quality Criteria for Partial Order Semantics of Place/Transition Nets. 1990.

• Taubner, Dirk; Vogler, Walter:
  Step Failures Semantics and a Complete Proof System. 1989.

• Vogler, Walter:
  Live and Bounded Free Choice Nets have Home States. 1989.

• Vogler, W.:
  Executions of Petri Nets. 1988.

• Vogler, W.:
  Failures Semantics and Deadlocking of Modular Petri Nets. 1988.

• Vogler, Walter:
  A Note on a Minimal C/E-Representation of S-Systems. 1987.

• Vogler, W.:
  Behaviour Preserving Refinements of Petri Nets. 1986.

• Taubner, D.; Vogler, W.:
  The Step Failure Semantics. 1986.

Back to the Petri Nets Bibliography