Petri Nets as Executable Specifications of High-Level Timed Parallel Systems.
VenueMulticonferenceICCS
Year2004
ProceedingsInternational Conference on Computational Science
DBLP recordconf/iccS/Pommereau04 ↗
Browse the full ICCS paper archive.
Browse the full ICCS paper archive.