def test_ext_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_extended_marking_equation(log[0], sync_net, sync_im, sync_fm)
self.assertIsNotNone(res)
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)