The following pages link to Wolfgang Reisig (Q594596):
Displaying 13 items.
- Petri-Netze: ein Abriss ihrer Grundlagen und Anwendungen. I (Q594598) (← links)
- Petri nets and algebraic specifications (Q804305) (← links)
- (Q959825) (redirect page) (← links)
- The computable kernel of abstract state machines (Q959826) (← links)
- Petri nets with individual tokens (Q1083212) (← links)
- Deterministic buffer synchronization of sequential processes (Q1161279) (← links)
- A note on the representation of finite tree automata (Q1258178) (← links)
- Petri net based verification of distributed algorithms: An example (Q1377301) (← links)
- On Gurevich's theorem on sequential algorithms (Q1424349) (← links)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- The synthesis problem of Petri nets (Q1901703) (← links)
- Equivalence checking of Petri net models of programs using static and dynamic cut-points (Q2415374) (← links)
- (Q2753705) (← links)
