Skip to content

On the verification of non-autonomous Petri net models using autonomous petri net tools.

Joo Paulo Barros, Lus Gomes, Anik Costa

VenueCIECON
Year2012
ProceedingsIECON

Browse the full IECON paper archive.