TY - CONF A1 - Heiner, Monika A1 - Deussen, Peter H. T1 - Petri Net Based Design and Analysis of Reactive Systems T2 - International Workshop on Discrete Event Systems, WODES '96, 19 - 21 August 1996, John McIntyre Centre, Pollock Halls, University of Edinburgh, UK Y1 - 2018 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/21530 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1996_edingburgh.pdf SN - 0-85296-664-4 N1 - referiert SP - 308 EP - 313 PB - IEE CY - London ER -