The following pages link to Matthias Weidlich (Q766171):
Displaying 10 items.
- Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
- Interleaving isotactics -- an equivalence notion on behaviour abstractions (Q1643139) (← links)
- On Profiles and Footprints – Relational Semantics for Petri Nets (Q2908204) (← links)
- (Q3225723) (← links)
- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition (Q3569862) (← links)
- Reasoning on the Efficiency of Distributed Complex Event Processing (Q5164846) (← links)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766) (← links)
- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case (Q5300877) (← links)
- Discovering event queries from traces: laying foundations for subsequence-queries with wildcards and gap-size constraints (Q6491032) (← links)
- Discovering event queries from traces: laying foundations for subsequence-queries with wildcards and gap-size constraints (Q6492724) (← links)
