Charles Lakos, Laure Petrucci. Modular state space exploration for timed petri nets. STTT, 9(3-4):393-411, 2007. [doi]
@article{LakosP07, title = {Modular state space exploration for timed petri nets}, author = {Charles Lakos and Laure Petrucci}, year = {2007}, doi = {10.1007/s10009-007-0033-2}, url = {http://dx.doi.org/10.1007/s10009-007-0033-2}, researchr = {https://researchr.org/publication/LakosP07}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {9}, number = {3-4}, pages = {393-411}, }