Advanced Course: Petri Nets 1996: Dagstuhl, Germany

Volume I

Applications of Elementary Net Systems and Place or Transiton Nets

Applications of High Level Nets

Application of Stochastic and Timed Nets