| Publication | Date of Publication | Type |
|---|
Dualities between nets and automata induced by schizophrenic objects
Category Theory and Computer Science | 2022-12-16 | Paper |
Stratified petri nets
Fundamentals of Computation Theory | 2022-12-09 | Paper |
Polynomial algorithms for the synthesis of bounded nets
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
Context-free event domains are recognizable
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Modular design of domain-specific languages using splittings of catamorphisms
| 2018-11-23 | Paper |
Incremental process discovery using Petri net synthesis
Fundamenta Informaticae | 2018-01-19 | Paper |
Petri nets with structured data
Fundamenta Informaticae | 2017-07-28 | Paper |
Petri net synthesis
Texts in Theoretical Computer Science. An EATCS Series | 2015-12-16 | Paper |
Petri nets with structured data
Application and Theory of Petri Nets and Concurrency | 2015-08-27 | Paper |
Attribute grammars as recursion schemes over cyclic representations of zippers
Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
Merging hierarchically-structured documents in workflow systems
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition
Theoretical Computer Science | 2013-11-29 | Paper |
On the \(\alpha \)-reconstructibility of workflow nets
Lecture Notes in Computer Science | 2012-09-04 | Paper |
A modal interface theory for component-based design
Fundamenta Informaticae | 2012-07-04 | Paper |
Nets enriched over closed monoidal structures
Applications and Theory of Petri Nets 2003 | 2010-03-31 | Paper |
Modular synthesis of Petri nets from regular languages
| 2009-07-27 | Paper |
Concurrent secrets
Discrete Event Dynamic Systems | 2008-01-04 | Paper |
An axiomatization of the token game based on Petri algebras
| 2007-07-24 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
The synthesis of Petri nets from path-automatic specifications
Information and Computation | 2004-10-01 | Paper |
scientific article; zbMATH DE number 1973126 (Why is no real title available?)
| 2003-09-01 | Paper |
Distributing finite automata through Petri net synthesis
Formal Aspects of Computing | 2002-12-01 | Paper |
scientific article; zbMATH DE number 1652000 (Why is no real title available?)
SCOPOS | 2001-09-27 | Paper |
Context-free event domains are recognizable
Information and Computation | 1999-05-03 | Paper |
The synthesis problem for elementary net systems is NP-complete
Theoretical Computer Science | 1998-06-30 | Paper |
scientific article; zbMATH DE number 1302048 (Why is no real title available?)
| 1998-01-01 | Paper |
Trace nets and process automata
Acta Informatica | 1996-02-13 | Paper |
scientific article; zbMATH DE number 139984 (Why is no real title available?)
| 1993-03-28 | Paper |
On guarded recursion
Theoretical Computer Science | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4204632 (Why is no real title available?)
| 1989-01-01 | Paper |
