https://dds.las.ac.cn/service/document?appId=a1vacbnPuv9qJRzJvdNXfsesj9JbIa6e&appKey=sPBA4vANLzjnW1k5eufEcc4k7dxfNraW&ts=1763013055671&signature=bfd72be1d98b65730e7d4ece47d4adca&articleTitle=Coloured+Petri+Nets&articleAuthor=Kurt+Jensen%2C+Lars+M.+Kristensen&publicationTitle=Coloured+Petri+Nets&language=&publicationType=1&publishYear=2009&isn=9783642002830&publisher=Springer+Berlin+Heidelberg