Petri nets: applications and relationships to other models of concurency : advances in Petri nets 1986 : proceedings of the advanced course : Bad Honnef, 8-19. September 1986. / part 2 - Brauer, Wilfried; Reisig, Wolfgang; Rozenberg, Grzegorz (Lecture Notes in Computer Science ;, 1987)