Antonio Cerone Implementing Condition/Event Nets in the Circal Process Algebra. 49-63 2002 conf/fase/2002 FASE http://link.springer.de/link/service/series/0558/bibs/2306/23060049.htm db/conf/fase/fase2002.html#Cerone02