Jordi Cortadella

• Applications and theory of Petri nets 2004
• Design automation of real-life asynchronous devices and systems
• Concurrency and Hardware Design