Workshop SBC'2000

Structural  and Behavioural Concepts of High-Level Petri Nets

Hamburg, Germany, May 02-04, 2000


Petri nets are well known as a powerful modelling technique. They serve in many different areas of computer science as well as in other fields like engineering and business. For the successful realization of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation and verification. Their popularity is due to the fact that fundamental aspects of causality, concurrency and choice are captured by Petri nets in a natural and mathematically precise way without compromising readability.

The workshop SBC'2000 will take place at the University of Hamburg, Computer Science Department, Vogt-Koelln-Str. 30 on May, 02-04, 2000. Workshop contributions come from the members of the Petri net groups of the University of Aarhus, Denmark, and the University of Hamburg, Germany, chair: Daniel Moldt.

Scope: The problem to manage complexity is the one that attracts most of the efforts of the current research in the area of Petri nets and similar approaches. The concrete aspects however, differ considerably, reaching from additional concepts, structural and behavioural views, tool support, theoretical foundations, and applications. The emphasis of the workshop will be on theoretical concepts which are related to existing tools and actual modern topics of computer science. So structure and behaviour of nets will be in the centre of the discussion.

Please note: The participation at the workshop is free and open to everybody. Please contact the local organizer for your participation.


[SBC'2000] [TGI] [Computer Science] 

Daniel Moldt