Josep Carmona

• Business Process Management Forum
• Conformance Checking
• Application and Theory of Petri Nets and Concurrency