Suchergebnisse - Vogler, Walter

Modular construction and partial order semantics of Petri nets

von Vogler, Walter

Modular construction and partial order semantics of Petri nets

von Vogler, Walter

Generalized OM-bisimulation

von Vogler, Walter

Failures semantics of Petri nets and the refinement of places and transitions

von Vogler, Walter

Bisimulation and action refinement

von Vogler, Walter

Recognizing edge replacement graph languages in cubic time

von Vogler, Walter

The step failure semantics

von Taubner, Dirk, Vogler, Walter

Darstellung abstrakter Gruppen durch Graphen mit konstantem Link, Hypergraphen und Potenzen von Graphen

von Vogler, Walter

An improvement of McMillan's unfolding algorithm

von Esparza, Javier 1964-, Römer, Stefan, Vogler, Walter

Is partial order semantics necessary for action refinement?

von Vogler, Walter

Modular construction and partial order semantics of Petri nets

von Vogler, Walter

Asynchronous communication of Petri nets and the refinements of transitions

von Vogler, Walter

A generalization of trace theory

von Vogler, Walter

Quality criteria for partial order semantics of place/transition-nets

von Gold, Robert, Vogler, Walter

Failures semantics based on interval semiwords is a congruence for refinement

von Vogler, Walter

Executions of Petri nets

von Vogler, Walter

Efficiency of asynchronous systems and read arcs in petri nets

von Vogler, Walter

Faster asynchronous systems

von Vogler, Walter

Timed testing of concurrent systems

von Vogler, Walter

The step failure semantics

von Taubner, Dirk, Vogler, Walter