Modeling of FMS under certainty using stochastic Petri nets-an application to rule-based on-line scheduling | IEEE Conference Publication | IEEE Xplore