Telecharger Cours

Model-checking on grafcets through translation into time Petri nets

In this paper, we propose some verification formulas on GRAFCET charts, via the generated intermediate TPN model: CTL and SE-LTL temporal logics ...



Download