The following pages link to Michael Köhler-Bußmeier (Q1662543):
Displaying 30 items.
- Restricting \textsc{Hornets} to support self-adaptive systems (Q1662544) (← links)
- P- and T-Systems in the Nets-within-Nets-Formalism (Q2908217) (← links)
- An Upper Bound for the Reachability Problem of Safe, Elementary Hornets (Q2968854) (← links)
- Safeness for Object Nets (Q3081899) (← links)
- (Q3117556) (← links)
- Object Nets for Mobility (Q3612936) (← links)
- Web Service Orchestration with Super-Dual Object Nets (Q3612938) (← links)
- A Formal Model for Organisational Structures behind Process-Aware Information Systems (Q3623820) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- (Q4461958) (← links)
- (Q4535179) (← links)
- (Q4679583) (← links)
- (Q4818734) (← links)
- Conservative Elementary Object Systems (Q4902323) (← links)
- (Q5192934) (← links)
- Structural and Dynamic Restrictions of Elementary Object Systems (Q5259299) (← links)
- Complexity Results for Elementary Hornets (Q5300870) (← links)
- Defining Multi-Party Compromises using Unfoldings of Workflow Nets (Q5411650) (← links)
- On the Complexity of the Reachability Problem for Safe, Elementary Hornets (Q5411675) (← links)
- A Survey of Decidability Results for Elementary Object Systems (Q5416730) (← links)
- (Q5422285) (← links)
- (Q5422286) (← links)
- (Q5472935) (← links)
- (Q5486054) (← links)
- (Q5486063) (← links)
- (Q5506378) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712334) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712355) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713508) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)
