| Publication | Date of Publication | Type |
|---|
When can we trust a third party? A soundness perspective
Transactions on Petri Nets and Other Models of Concurrency VIII | 2013-09-17 | Paper |
The right timing: reflections on the modeling and analysis of time
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Business process modeling using Petri nets
Transactions on Petri Nets and Other Models of Concurrency VII | 2013-05-31 | Paper |
Refinement of synchronizable places with multi-workflow nets
Fundamenta Informaticae | 2013-04-18 | Paper |
Designing weakly terminating ROS systems
Lecture Notes in Computer Science | 2012-09-04 | Paper |
Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
Applications and Theory of Petri Nets | 2011-06-29 | Paper |
Soundness of workflow nets: classification, decidability, and analysis
Formal Aspects of Computing | 2011-05-30 | Paper |
On-the-fly auditing of business processes
Transactions on Petri Nets and Other Models of Concurrency IV | 2011-01-08 | Paper |
Soundness and separability of workflow nets in the stepwise refinement approach
Applications and Theory of Petri Nets 2003 | 2010-03-31 | Paper |
Verifying generalized soundness of workflow nets
Perspectives of Systems Informatics | 2010-02-02 | Paper |
History-dependent stochastic Petri nets
Perspectives of Systems Informatics | 2010-02-02 | Paper |
Soundness of workflow nets with reset ARCS
Transactions on Petri Nets and Other Models of Concurrency III | 2009-12-09 | Paper |
| scientific article; zbMATH DE number 5593270 (Why is no real title available?) | 2009-08-10 | Paper |
Compositional Service Trees
Applications and Theory of Petri Nets | 2009-06-30 | Paper |
A Framework for Linking and Pricing No-Cure-No-Pay Services
Transactions on Petri Nets and Other Models of Concurrency II | 2009-04-24 | Paper |
Nested Nets for Adaptive Systems
Petri Nets and Other Models of Concurrency - ICATPN 2006 | 2009-04-02 | Paper |
History-Dependent Petri Nets
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
| Working with the past: integrating history in Petri nets | 2009-02-12 | Paper |
Model Driven Testing Based on Test History
Transactions on Petri Nets and Other Models of Concurrency I | 2009-02-03 | Paper |
| Token history Petri nets | 2009-01-28 | Paper |
Statistical Certification of Software Systems
Communications in Statistics. Simulation and Computation | 2008-03-18 | Paper |
| Checking properties of adaptive workflow nets | 2007-10-17 | Paper |
| Resource-constrained workflow nets | 2006-08-03 | 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 |
Component-based software architectures: A framework based on inheritance of behavior
Science of Computer Programming | 2002-08-05 | Paper |
Analysis of discrete‐time stochastic petri nets
Statistica Neerlandica | 2002-07-07 | Paper |
| scientific article; zbMATH DE number 1696470 (Why is no real title available?) | 2002-06-17 | Paper |
A unifying approach to heuristic search
Annals of Operations Research | 1995-08-27 | Paper |
| scientific article; zbMATH DE number 606833 (Why is no real title available?) | 1994-07-17 | Paper |
| scientific article; zbMATH DE number 19068 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4197410 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4051049 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3782762 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3604231 (Why is no real title available?) | 1978-01-01 | Paper |
Markov Strategies in Dynamic Programming
Mathematics of Operations Research | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3588502 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3569506 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3635848 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3551741 (Why is no real title available?) | 1976-01-01 | Paper |
