示例#1
0
def main(argv):
    log = []
    with open(argv[1], 'r') as f:
        lines = f.readlines()
        for line in lines:
            log.append(line.strip().split(' '))
    print("Log:\n", log)
    print("---------------------")
    lm = footprint.Alpha(log)
    print(lm)
    pn = PetriNet()
    pn.from_alpha(lm, dotfile="{}.dot".format(os.path.basename(argv[1])))
示例#2
0
def main(argv):
    log = read(argv[1])
    lm = Alpha(log)
    pn = PetriNet()
    pn.from_alpha(lm, dotfile="{}.dot".format(os.path.basename(argv[1])))