''' Created on 27.11.2015 @author: Kai ''' from activity_diagram_to_ptnet import ActivityDiagramToPetriNet import log import examples import time start = time.clock() # the path of the xml xml_path = examples.get_xml_path() # create the main object act_to_pt = ActivityDiagramToPetriNet() # load xml and parsing act_to_pt.load_xml(xml_path) # start activity_analyse act_to_pt.activity_analyse() # transform_to_pt to Petri net act_to_pt.transform_to_epf() end = time.clock() log.show_info("completed in " + str(end - start) + "s")
pip pygraphviz pip install pygraphviz numpy pip install numpy ''' from activity_diagram_to_ptnet import ActivityDiagramToPetriNet import log import examples import time start_time = time.clock() # the path of the xml xml_path = examples.get_xml_path() # create the main object act_to_pt = ActivityDiagramToPetriNet() # load xml and parsing act_to_pt.load_xml(xml_path) # start activity_analyse act_to_pt.activity_analyse() # transform_to_pt to Petri net act_to_pt.transform_to_pt() act_to_pt.petri_net_analyse() # draw PT net and reachability_graph_element act_to_pt.create_diagram() # control, getReachabilityGraph act_to_pt.get_reachability_graph() # start petri_net_reachability_analyse act_to_pt.petri_net_reachability_analyse()