TY  - RPRT
TI  - Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems
AU  - Joachim Wehler
PY  - 2007
UR  - https://arxiv.org/abs/cs/0609095
ID  - cs/0609095
ER  -