About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications.

Adel Benzina, Mario Paludetto, Jrme Delatour

Browse the full APSEC paper archive.