Hanifa Boucheneb. Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties. Formal Asp. Comput., 20(2):225-238, 2008. [doi]
@article{Boucheneb08, title = {Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties}, author = {Hanifa Boucheneb}, year = {2008}, doi = {10.1007/s00165-007-0050-7}, url = {http://dx.doi.org/10.1007/s00165-007-0050-7}, researchr = {https://researchr.org/publication/Boucheneb08}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {20}, number = {2}, pages = {225-238}, }