Polynomial-time algorithm for the legal firing sequences problem of a type of synchronous composition Petri nets
scientific article; zbMATH DE number 5128509