Cite
APA Citation
Bouneb, M., Saidouni, D., & Ilie, J. (2015). a reduced maximality labeled transition system generation for recursive Petri nets. Formal aspects of computing, 27, 951–973. http://access.bl.uk/ark:/81055/vdc_100080346935.0x000189