Theoretical computer science. Petri nets.
scientific article; zbMATH DE number 5277913