Advanced State Space Methods [chapter]

Kurt Jensen, Lars M. Kristensen
2009 Coloured Petri Nets  
doi:10.1007/b95112_8 fatcat:puynvaytqzb3rfwjac57fpvvii