On modeling and verification of temporal constraints in production workflows (1999)

by O Marjanovic, M Orlowska
Venue:Knowledge and Information Systems