SE-LTL Model-checking on Timed GRAFCETS via ε-TPN
Médésu Sogbohossou, Rodrigue Yehouessi, Tahirou Djara, Theophile Aballo & Antoine Vianou · Current Journal of Applied Science and Technology · 2019
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) in order to validate a specifi...
Open access
Research Article
10.9734/cjast/2019/v38i630433