Open AccessDPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser
Author(s) -
Abderraouf Boussif,
Mohamed Ghazel,
Kaïs Klai
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , petri net , software , fault (geology) , petri dish , software bug , programming language , software engineering , theoretical computer science , biology , paleontology , genetics