Se-ltl model-checking on timed grafcets via ε-tpn
Article, Ajoutée
le 18/02/2021 11:52
The GRAFCET standard (IEC 60848) is one of the convenient formalisms used to specify the behaviour of the automated systems. Being just a semi-formal language, the usual practice is to go through an unambiguous formalism such as time Petri net (TPN) [...]