| Publication | Date of Publication | Type |
|---|
| Slimming down Petri boxes: compact Petri net models of control flows | 2024-08-13 | Paper |
| Avoiding exponential explosion in Petri net models of control flows | 2022-08-19 | Paper |
A case for using signal transition graphs for analysing and refining genetic networks
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Recent advances in unfolding technique
Theoretical Computer Science | 2014-08-29 | Paper |
A polynomial translation of -calculus FCPS to safe Petri nets
Logical Methods in Computer Science | 2013-09-26 | Paper |
Contextual merged processes
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
A polynomial translation of -calculus (FCP) to safe Petri nets
Lecture Notes in Computer Science | 2012-09-25 | Paper |
A polynomial translation of -calculus (FCP) to safe Petri nets
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Flat arbiters
Fundamenta Informaticae | 2012-07-04 | Paper |
An algorithm for direct construction of complete merged processes
Applications and Theory of Petri Nets | 2011-06-29 | Paper |
A new type of behaviour-preserving transition insertions in unfolding prefixes
Lecture Notes in Computer Science | 2010-10-04 | Paper |
On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
Information Processing Letters | 2010-03-24 | Paper |
A practical approach to verification of mobile systems using net unfolding
Fundamenta Informaticae | 2009-11-30 | Paper |
STG decomposition strategies in combination with unfolding
Acta Informatica | 2009-10-23 | Paper |
Behaviour-Preserving Transition Insertions in Unfolding Prefixes
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Combining Decomposition and Unfolding for STG Synthesis
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
| scientific article; zbMATH DE number 5507693 (Why is no real title available?) | 2009-02-12 | Paper |
| Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings | 2009-01-28 | Paper |
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
Verification of bounded Petri nets using integer programming
Formal Methods in System Design | 2007-04-26 | Paper |
Merged processes: a new condensed representation of Petri net behaviour
Acta Informatica | 2006-12-06 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 5042671 (Why is no real title available?) | 2006-07-26 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Canonical prefixes of Petri net unfoldings
Acta Informatica | 2004-12-09 | Paper |
| scientific article; zbMATH DE number 2112982 (Why is no real title available?) | 2004-11-01 | Paper |
| scientific article; zbMATH DE number 2080061 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1956601 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1903382 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1863174 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1759626 (Why is no real title available?) | 2002-11-28 | Paper |
