Skip to content

An algorithm for the evolution graph of extended hybrid Petri nets.

Martina Svadova, Zdenek Hanzlek

VenueBSMC
Year2004
ProceedingsSMC (5)

Browse the full SMC paper archive.