Hello Everybody, I am currently working on validating IOWF with MLS (represented by PN) with its corresponding MSC.
The concept of implicit places is useful for this purpose, but I am finding it hard to structurally identify implicit places. I want to figure out an algorithm to identify and also to remove implicit places. Once I do this, the next step is to compare scenarios specified by MSC with scenarios possible in modelled petri net. Generating reachability graph is not feasible for this purpose. Is there any algorithm/approach to do something related to this? Any ideas or input regarding this will be sincerely appreciated. Thank you. Regards, Nirmal Gami ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
