| Publication | Date of Publication | Type |
|---|
| Analysing adaption processes of Hornets | 2024-06-05 | Paper |
Modular rewritable Petri nets: an efficient model for dynamic distributed systems
Theoretical Computer Science | 2024-02-20 | Paper |
| Restricting \textsc{Hornets} to support self-adaptive systems | 2018-08-20 | Paper |
An upper bound for the reachability problem of safe, elementary hornets
Fundamenta Informaticae | 2017-03-22 | Paper |
Structural and Dynamic Restrictions of Elementary Object Systems
Fundamenta Informaticae | 2015-06-26 | Paper |
A survey of decidability results for elementary object systems
Fundamenta Informaticae | 2014-05-14 | Paper |
On the complexity of the reachability problem for safe, elementary hornets
Fundamenta Informaticae | 2014-04-25 | Paper |
Defining multi-party compromises using unfoldings of workflow nets
Fundamenta Informaticae | 2014-04-25 | Paper |
Complexity results for elementary Hornets
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Conservative elementary object systems
Fundamenta Informaticae | 2013-01-14 | Paper |
P- and T-systems in the nets-within-nets-formalism
Lecture Notes in Computer Science | 2012-09-04 | Paper |
| Liveness of safe object nets | 2012-02-28 | Paper |
Safeness for object nets
Fundamenta Informaticae | 2011-03-09 | Paper |
| On the expressiveness of communication channels for object nets | 2009-08-10 | Paper |
Hornets: Nets within Nets Combined with Net Algebra
Applications and Theory of Petri Nets | 2009-06-30 | Paper |
A Formal Model for Organisational Structures behind Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II | 2009-04-24 | Paper |
Object Nets for Mobility
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Web Service Orchestration with Super-Dual Object Nets
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
| Linear properties of zero-safe nets with debit tokens | 2009-01-28 | Paper |
| The reachability problem for object nets | 2007-10-17 | Paper |
| A formal model of multi-agent organisations | 2007-10-17 | Paper |
| scientific article; zbMATH DE number 5051645 (Why is no real title available?) | 2006-09-06 | Paper |
| Properties of super-dual nets | 2006-09-06 | Paper |
| scientific article; zbMATH DE number 5033884 (Why is no real title available?) | 2006-06-19 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Applications and Theory of Petri Nets 2005
Lecture Notes in Computer Science | 2005-12-14 | Paper |
| scientific article; zbMATH DE number 2177188 (Why is no real title available?) | 2005-06-17 | Paper |
| scientific article; zbMATH DE number 2104623 (Why is no real title available?) | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2064467 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 1755145 (Why is no real title available?) | 2002-06-13 | Paper |
