From timed Petri nets to timed LOTOS.

Tommaso Bolognesi Ferdinando Lucidi Sebastiano Trigila From timed Petri nets to timed LOTOS. 395-408 1990 conf/pstv/1990 PSTV db/conf/pstv/pstv1990.html#BolognesiLT90