Curriculum Vitae

Personal information

• Born May 30, 1950 in Hjørring, Denmark.
• Married with Iben Antonsen. 

Current position

• Professor at Department of Computer Science, Aarhus University.

Academic degrees

• Dr. Scient. in Computer Science, Aarhus University, 1995: "Coloured Petri Nets".
• Ph.D. in Computer Science, Aarhus University, 1980: "Net Models in System Development".
• Cand. Scient. in Computer Science, Mathematics and Physics, Aarhus University, 1976.

Research areas

• Coloured Petri Nets. Basic net models, hierarchical nets, analysis methods, computer tools and industrial applications.
• Earlier, I have also worked with formal semantics, net equivalences and social impacts of computers.

Major projects

• The CPN Centre on the use of Coloured Petri Nets for modelling, validation, and capacity planning of concurrent and distributed systems.
• The CPN Tools project on the development of computer tools for Coloured Petri Nets.
• The DEVISE project establishing a centre for Experimental System Development at the Computer Science Department, Aarhus University. Supported by the Danish National Science Research Council.
• The DESIGN/CPN project on the development of computer tools for Coloured Petri Nets.
• The UTOPIA project on the development of skill based, user oriented systems and education for the graphics industry. Supported by the Danish Council of Technology.
• A project on the impact of computer systems on the service and work conditions in libraries. Supported by the Danish Research Libraries.

Teaching experience

• Since 1976, teaching and surpervising computer science at all levels. Teaching areas include Petri nets, distributed systems, formal semantics, and social impacts of computers.
• Tutorials at more than 25 conferences, workshops, and advanced courses.

Academic services

• Head of the Steering Committee for the International Petri net Community (2004-2011).
• Member of the Steering Committee for the International Petri net Community (1985-2013).
• Member of approximately 30 program committees and international committees, primarily within Petri nets; three times as PC-chairman and three times as organising chairman.
• Referee for at least 25 different international journals.

Publications and invited talks

• Author of four monographs on Coloured Petri Nets. 
• Invited talks at Petri Nets 1989, Euromicro 1996, TACAS 1997, Petri Nets 2003, and JAOO 2006 plus conferences in Mexico and Brazil.
• Editor-in-chief for Transactions on Petri Nets and Other Models of Concurrency.
• Member of the Editorial Board for the Software Tools for Technology Transfer journal (1998-2013.
• Editor of four special sections on Coloured Petri Nets and high-level Petri Nets in the Software Tools for Technology Transfer journal.
• Editor of two special sections on Tools and Algorithms for the Construction and Analysis of Systems in Theoretcial Computer Science and the Software Tools for Technology Transfer journal.
• Author or more than 40 papers in journals and other strictly refereed publications.
• 15,000 citations.

Positions held

• 1999 --      Professor, Department of Computer Science, Aarhus University .
• 1998-2014 Head of Department of Computer Science, Aarhus University.
• 1990-99    Associate Professor, Department of Computer Science, Aarhus University.
• 1988-90    Senior Research Officer, Meta Software, Massachusetts, USA.
• 1981-88    Associate Professor, Department of Computer Science, Aarhus University.
• 1978-80    Scholarship, Department of Computer Science, Aarhus University.
• 1976-77    Assistant Professor, Department of Computer Science, Aarhus University.

Other interests

• Agility for Dogs (3 Danish Championships and participation on national teams).
• Orienteering Racing(3 Danish Championships and participation on national teams).