Using the evaluation nets modeling tool concept as an rnhancement of the Petri net tool | IEEE Conference Publication | IEEE Xplore