https://dds.las.ac.cn/service/document?appId=a1vacbnPuv9qJRzJvdNXfsesj9JbIa6e&appKey=sPBA4vANLzjnW1k5eufEcc4k7dxfNraW&ts=1763029743558&signature=042e6d2c2c6b8d1fdb71344fdf637a38&articleTitle=Coloured+Petri+Nets&articleAuthor=Kurt+Jensen&publicationTitle=Coloured+Petri+Nets&language=&publicationType=1&publishYear=1997&isn=9783540628675&publisher=Springer+Berlin+Heidelberg