A uniform approach to true-concurrency and interleaving semantics for Petri nets
interleaving and true-concurrency models
scientific article; zbMATH DE number 1238722
scientific article