Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
A Light Workflow Management System Using SimpleProcess Models
Computer Supported Cooperative Work
Synthesising elementary net systems with inhibitor arcs from step transition systems
Fundamenta Informaticae - Application of concurrency to system design
An algebraic model of observable properties in distributed systems
Theoretical Computer Science
Improving Flexibility of Workflow Management Systems
Business Process Management, Models, Techniques, and Empirical Studies
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Process discovery and petri nets†
Mathematical Structures in Computer Science
Modular system development with pullbacks
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Minimal Regions of ENL-Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Modelling mobility with petri hypernets
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Synthesis problem for petri nets with localities
Transactions on Petri Nets and Other Models of Concurrency V
Light Region-based Techniques for Process Discovery
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
Fundamenta Informaticae - Application of Concurrency to System Design
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Fundamenta Informaticae
Building Occurrence Nets from Reveals Relations
Fundamenta Informaticae
Hi-index | 0.00 |