ISSN 2307-6410

colored Petri net