Time-based expressivity of time Petri nets for system specification
scientific article; zbMATH DE number 1281123
scientific article