Modeling and analysis of cycle schedule using Petri nets unfolding.

Jong-Kun Lee, Ouajdi Korbaa, Jean-Claude Gentina

Browse the full SMC paper archive.