def test_marking_equation_sync_net(self): import pm4py log = pm4py.read_xes(os.path.join("input_data", "running-example.xes")) net, im, fm = pm4py.discover_petri_net_inductive(log) sync_net, sync_im, sync_fm = pm4py.construct_synchronous_product_net(log[0], net, im, fm) res = pm4py.solve_marking_equation(sync_net, sync_im, sync_fm) self.assertIsNotNone(res) self.assertEqual(res, 11)
def test_mark_em_equation(self): log = pm4py.read_xes("input_data/running-example.xes") net, im, fm = pm4py.read_pnml("input_data/running-example.pnml") sync_net, sync_im, sync_fm = pm4py.construct_synchronous_product_net( log[0], net, im, fm) m_h = pm4py.solve_marking_equation(sync_net, sync_im, sync_fm) em_h = pm4py.solve_extended_marking_equation(log[0], sync_net, sync_im, sync_fm)
def test_marking_equation_net(self): import pm4py log = pm4py.read_xes(os.path.join("input_data", "running-example.xes")) net, im, fm = pm4py.discover_petri_net_inductive(log) pm4py.solve_marking_equation(net, im, fm)