The following pages link to Wolfgang Reisig (Q594596):
Displaying 50 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)
- (Q3030246) (← links)
- (Q3129285) (← links)
- (Q3219122) (← links)
- (Q3341915) (← links)
- The non-sequential behaviour of Petri nets (Q3343446) (← links)
- An ASM-Characterization of a Class of Distributed Algorithms (Q3400954) (← links)
- (Q3504350) (← links)
- Services as a Paradigm of Computation (Q3526949) (← links)
- (Q3575995) (← links)
- Yuri, Logic, and Computer Science (Q3585995) (← links)
- A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines (Q3612494) (← links)
- Compensation in Workflow Nets (Q3618699) (← links)
- How Expressive Are Petri Net Schemata? (Q3618706) (← links)
- Simple Composition of Nets (Q3636838) (← links)
- (Q3670575) (← links)
- (Q3674068) (← links)
- (Q3681946) (← links)
- (Q3687725) (← links)
- (Q3731015) (← links)
- (Q3740251) (← links)
- (Q3766862) (← links)
- (Q3774955) (← links)
- (Q3774956) (← links)
- (Q3774957) (← links)
- (Q3814798) (← links)
- (Q3835043) (← links)
- (Q3885173) (← links)
- (Q3902496) (← links)
- (Q3907081) (← links)
- (Q3914419) (← links)
- (Q3940855) (← links)
- (Q4003214) (← links)
- (Q4141230) (← links)
- (Q4152524) (← links)
- (Q4247286) (← links)
- (Q4281514) (← links)
- (Q4353630) (← links)
