Colored Petri Nets
Colored Petri Nets The big step in Petri nets - the one that really takes them from a theoretical toy to a serious tool used by protocol developers - is the extension to colored Petri nets (CPNs). Calling them "colored"...Posted on October 10, 2007 9:03 AM • 8 Comments •