Joachim Wehler Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems http://arxiv.org/abs/cs/0609095 2006 CoRR abs/cs/0609095 db/journals/corr/corr0609.html#abs-cs-0609095 informal publication