Petri nets SM cover based on heuristic coloring algorithm

Author: Jacek Tkacz
Conference: Title