Anmerkungen:
Based on lectures given at the 4th Advanced Course on Petri Nets held in Eichstätt, Germany in September 2003, but in order to provide a balanced presentation of the field, some of the lectures are non included, and some material not presented in Eichstätt is covered here