TY - BOOK AU - Brauer W ed. ED - Advanced Course on Petri Nets( 1986 : Bad Honnef ) ED - TI - Advances in petri nets: proceedings U1 - 511.3 PY - 1986/// KW - Computer science KW - Mathematical logic ER -