Verification of membrane systems with delays via Petri nets with delays
verification of qualitative and quantitative properties of membranes
scientific article; zbMATH DE number 6482902
scientific article