View of Petri Nets, Traces, and Local Model Checking

Return to Article Details Petri Nets, Traces, and Local Model Checking Download Download PDF