Racloz, Pascal2005-09-202005-09-202005-09-20199510.1109/ICSMC.1995.538324https://infoscience.epfl.ch/handle/20.500.14299/216810WOS:A1995BE26Y00605ConformA temporal specification checker for Petri netstext::conference output::conference proceedings::conference paper