initial commit

Author: Al-Dani

AttributePNet.py

@@ -0,0 +1,92 @@
+import datetime
+
+class Place (object):
+    '''!
+    Class to represent a place in a Petri Net
+    Tokens are represented by Integer values
+    input and output arcs are represented as sets of possible transitions
+    date attribute refers to a timestamp - дата первого перехода в позицию --- ЗАЧЕМ ТУТ??
+    isFinal - specify if this place can be final
+    '''
+    def __init__(self, name, final, tokens=0):
+        '''!
+            Constructor method.
+
+            @param name: name of the place
+            @param final: specify if this place can be final
+        '''
+        self.name = str(name)
+        self.tokens = tokens
+        self.inArcs = {}
+        self.outArcs = {}
+        self.date = datetime.date(datetime.MINYEAR, 1, 1) # ?????
+        self.isFinal = final
+
+    def addToken(self):
+        self.tokens = self.tokens + 1
+
+    def removeToken(self):
+        self.tokens = self.tokens - 1
+
+    def setDate(self, timestamp):
+        self.date = datetime.date.fromtimestamp(timestamp)
+
+
+class Transition (object):
+    '''!
+    Class to represent a transition ib a Petri Net
+    '''
+
+    def __init__(self, name, fires, maxtime, hidden, weight=1):
+        '''!
+                Constructor method.
+
+                @param name: name of the transition
+                @param fires: legal number of firing for the transition
+                @param maxtime: legal gap before transition firing
+                @param weight: penalty for transition firing
+        '''
+        self.name = str(name)
+        self.inArcs = {}
+        self.outArcs = {}
+        self.firingCounter = fires
+        self.maxTime = datetime.timedelta(days=maxtime)
+        self.weight = weight
+        self.hidden = hidden
+
+
+class AttributePetriNet (object):
+    def __init__(self):
+        self.startPlace = Place("start", False, tokens=1)
+        self.finishPlace = Place("final", True)
+        self.places = {
+            "start": self.startPlace,
+            "finish": self.finishPlace
+        }
+        self.transitions = {}
+
+    def addPlace(self, name, final):
+        newPlace = Place(name, final)
+        self.places[name] = newPlace
+
+    def addTransition (self, name, fires, maxtime, hidden, weight):
+        newTransition = Transition(name, fires, maxtime, hidden, weight)
+        self.transitions[name] = newTransition
+
+    def addInputArc(self, placeName, transitionName):
+        '''!
+                Method that add arcs from place to transition
+        '''
+        currentPlace = self.places[placeName]
+        currentTransition = self.transitions[transitionName]
+        currentPlace.outArcs[transitionName] = currentTransition
+        currentTransition.inArcs[placeName] = currentPlace
+
+    def addOutputArc(self, transitionName, placeName):
+        '''!
+                Method that add arcs from transitions to places
+        '''
+        currentPlace = self.places[placeName]
+        currentTransition = self.transitions[transitionName]
+        currentPlace.inArcs[transitionName] = currentTransition
+        currentTransition.outArcs[placeName] = currentPlace

EventsMatcher.py

@@ -0,0 +1,13 @@
+import pandas as pd
+
+
+class Matcher(object):
+    def __init__(self):
+        df = pd.read_csv("events_to_transitions.csv", sep=';')
+        df = df.loc[:, ~df.columns.str.contains('^Unnamed')]
+        event_list = df['event'].tolist()
+        transition_id_list = df['transition_id'].tolist()
+        self.events_to_transitions = dict(zip(event_list,transition_id_list))
+
+    def event_to_transition(self, evname):
+        return self.events_to_transitions[evname]

Main.py

@@ -0,0 +1,13 @@
+'''!
+    log preprocessing
+    |
+    model initialization
+    |
+    for each trace get conformance value
+    |
+    filter anomaly traces
+    |
+    classify anomaly traces
+    |
+    return .csv / .json for further visualization
+'''

TokenReplay.py

@@ -0,0 +1,17 @@
+import AttributePNet as pNet
+
+
+class TokenRaplay(object):
+    def __init__(self, net):
+        self.net = net
+
+        self.consumed = 0
+        self.produced = 0
+        self.miss = 0
+        self.remain = 0
+
+    def replay_log(self, tracelog):
+        current_model_position = self.net.startPlace
+        current_log_event=tracelog.iloc[0]['event_type']
+
+        for row_counter in range(tracelog.shape[0]):

events_to_transitions.csv

@@ -0,0 +1,76 @@
+# This file must be used with "source bin/activate" *from bash*
+# you cannot run it directly
+
+deactivate () {
+    # reset old environment variables
+    if [ -n "${_OLD_VIRTUAL_PATH:-}" ] ; then
+        PATH="${_OLD_VIRTUAL_PATH:-}"
+        export PATH
+        unset _OLD_VIRTUAL_PATH
+    fi
+    if [ -n "${_OLD_VIRTUAL_PYTHONHOME:-}" ] ; then
+        PYTHONHOME="${_OLD_VIRTUAL_PYTHONHOME:-}"
+        export PYTHONHOME
+        unset _OLD_VIRTUAL_PYTHONHOME
+    fi
+
+    # This should detect bash and zsh, which have a hash command that must
+    # be called to get it to forget past commands.  Without forgetting
+    # past commands the $PATH changes we made may not be respected
+    if [ -n "${BASH:-}" -o -n "${ZSH_VERSION:-}" ] ; then
+        hash -r
+    fi
+
+    if [ -n "${_OLD_VIRTUAL_PS1:-}" ] ; then
+        PS1="${_OLD_VIRTUAL_PS1:-}"
+        export PS1
+        unset _OLD_VIRTUAL_PS1
+    fi
+
+    unset VIRTUAL_ENV
+    if [ ! "$1" = "nondestructive" ] ; then
+    # Self destruct!
+        unset -f deactivate
+    fi
+}
+
+# unset irrelevant variables
+deactivate nondestructive
+
+VIRTUAL_ENV="/Users/alexandrakolosova/Documents/HSE/Diploma/app/AttributePNet/venv"
+export VIRTUAL_ENV
+
+_OLD_VIRTUAL_PATH="$PATH"
+PATH="$VIRTUAL_ENV/bin:$PATH"
+export PATH
+
+# unset PYTHONHOME if set
+# this will fail if PYTHONHOME is set to the empty string (which is bad anyway)
+# could use `if (set -u; : $PYTHONHOME) ;` in bash
+if [ -n "${PYTHONHOME:-}" ] ; then
+    _OLD_VIRTUAL_PYTHONHOME="${PYTHONHOME:-}"
+    unset PYTHONHOME
+fi
+
+if [ -z "${VIRTUAL_ENV_DISABLE_PROMPT:-}" ] ; then
+    _OLD_VIRTUAL_PS1="${PS1:-}"
+    if [ "x(venv) " != x ] ; then
+	PS1="(venv) ${PS1:-}"
+    else
+    if [ "`basename \"$VIRTUAL_ENV\"`" = "__" ] ; then
+        # special case for Aspen magic directories
+        # see http://www.zetadev.com/software/aspen/
+        PS1="[`basename \`dirname \"$VIRTUAL_ENV\"\``] $PS1"
+    else
+        PS1="(`basename \"$VIRTUAL_ENV\"`)$PS1"
+    fi
+    fi
+    export PS1
+fi
+
+# This should detect bash and zsh, which have a hash command that must
+# be called to get it to forget past commands.  Without forgetting
+# past commands the $PATH changes we made may not be respected
+if [ -n "${BASH:-}" -o -n "${ZSH_VERSION:-}" ] ; then
+    hash -r
+fi

venv/bin/activate

@@ -0,0 +1,37 @@
+# This file must be used with "source bin/activate.csh" *from csh*.
+# You cannot run it directly.
+# Created by Davide Di Blasi <[email protected]>.
+# Ported to Python 3.3 venv by Andrew Svetlov <[email protected]>
+
+alias deactivate 'test $?_OLD_VIRTUAL_PATH != 0 && setenv PATH "$_OLD_VIRTUAL_PATH" && unset _OLD_VIRTUAL_PATH; rehash; test $?_OLD_VIRTUAL_PROMPT != 0 && set prompt="$_OLD_VIRTUAL_PROMPT" && unset _OLD_VIRTUAL_PROMPT; unsetenv VIRTUAL_ENV; test "\!:*" != "nondestructive" && unalias deactivate'
+
+# Unset irrelevant variables.
+deactivate nondestructive
+
+setenv VIRTUAL_ENV "/Users/alexandrakolosova/Documents/HSE/Diploma/app/AttributePNet/venv"
+
+set _OLD_VIRTUAL_PATH="$PATH"
+setenv PATH "$VIRTUAL_ENV/bin:$PATH"
+
+
+set _OLD_VIRTUAL_PROMPT="$prompt"
+
+if (! "$?VIRTUAL_ENV_DISABLE_PROMPT") then
+    if ("venv" != "") then
+        set env_name = "venv"
+    else
+        if (`basename "VIRTUAL_ENV"` == "__") then
+            # special case for Aspen magic directories
+            # see http://www.zetadev.com/software/aspen/
+            set env_name = `basename \`dirname "$VIRTUAL_ENV"\``
+        else
+            set env_name = `basename "$VIRTUAL_ENV"`
+        endif
+    endif
+    set prompt = "[$env_name] $prompt"
+    unset env_name
+endif
+
+alias pydoc python -m pydoc
+
+rehash

venv/bin/activate.csh

@@ -0,0 +1,75 @@
+# This file must be used with ". bin/activate.fish" *from fish* (http://fishshell.org)
+# you cannot run it directly
+
+function deactivate  -d "Exit virtualenv and return to normal shell environment"
+    # reset old environment variables
+    if test -n "$_OLD_VIRTUAL_PATH"
+        set -gx PATH $_OLD_VIRTUAL_PATH
+        set -e _OLD_VIRTUAL_PATH
+    end
+    if test -n "$_OLD_VIRTUAL_PYTHONHOME"
+        set -gx PYTHONHOME $_OLD_VIRTUAL_PYTHONHOME
+        set -e _OLD_VIRTUAL_PYTHONHOME
+    end
+
+    if test -n "$_OLD_FISH_PROMPT_OVERRIDE"
+        functions -e fish_prompt
+        set -e _OLD_FISH_PROMPT_OVERRIDE
+        functions -c _old_fish_prompt fish_prompt
+        functions -e _old_fish_prompt
+    end
+
+    set -e VIRTUAL_ENV
+    if test "$argv[1]" != "nondestructive"
+        # Self destruct!
+        functions -e deactivate
+    end
+end
+
+# unset irrelevant variables
+deactivate nondestructive
+
+set -gx VIRTUAL_ENV "/Users/alexandrakolosova/Documents/HSE/Diploma/app/AttributePNet/venv"
+
+set -gx _OLD_VIRTUAL_PATH $PATH
+set -gx PATH "$VIRTUAL_ENV/bin" $PATH
+
+# unset PYTHONHOME if set
+if set -q PYTHONHOME
+    set -gx _OLD_VIRTUAL_PYTHONHOME $PYTHONHOME
+    set -e PYTHONHOME
+end
+
+if test -z "$VIRTUAL_ENV_DISABLE_PROMPT"
+    # fish uses a function instead of an env var to generate the prompt.
+
+    # save the current fish_prompt function as the function _old_fish_prompt
+    functions -c fish_prompt _old_fish_prompt
+
+    # with the original prompt function renamed, we can override with our own.
+    function fish_prompt
+        # Save the return status of the last command
+        set -l old_status $status
+
+        # Prompt override?
+        if test -n "(venv) "
+            printf "%s%s" "(venv) " (set_color normal)
+        else
+            # ...Otherwise, prepend env
+            set -l _checkbase (basename "$VIRTUAL_ENV")
+            if test $_checkbase = "__"
+                # special case for Aspen magic directories
+                # see http://www.zetadev.com/software/aspen/
+                printf "%s[%s]%s " (set_color -b blue white) (basename (dirname "$VIRTUAL_ENV")) (set_color normal)
+            else
+                printf "%s(%s)%s" (set_color -b blue white) (basename "$VIRTUAL_ENV") (set_color normal)
+            end
+        end
+
+        # Restore the return status of the previous command.
+        echo "exit $old_status" | .
+        _old_fish_prompt
+    end
+
+    set -gx _OLD_FISH_PROMPT_OVERRIDE "$VIRTUAL_ENV"
+end

venv/bin/activate.fish

@@ -0,0 +1,12 @@
+#!/Users/alexandrakolosova/Documents/HSE/Diploma/app/AttributePNet/venv/bin/python
+# EASY-INSTALL-ENTRY-SCRIPT: 'setuptools==40.8.0','console_scripts','easy_install'
+__requires__ = 'setuptools==40.8.0'
+import re
+import sys
+from pkg_resources import load_entry_point
+
+if __name__ == '__main__':
+    sys.argv[0] = re.sub(r'(-script\.pyw?|\.exe)?$', '', sys.argv[0])
+    sys.exit(
+        load_entry_point('setuptools==40.8.0', 'console_scripts', 'easy_install')()
+    )

venv/bin/easy_install

@@ -0,0 +1,12 @@
+#!/Users/alexandrakolosova/Documents/HSE/Diploma/app/AttributePNet/venv/bin/python
+# EASY-INSTALL-ENTRY-SCRIPT: 'setuptools==40.8.0','console_scripts','easy_install-3.7'
+__requires__ = 'setuptools==40.8.0'
+import re
+import sys
+from pkg_resources import load_entry_point
+
+if __name__ == '__main__':
+    sys.argv[0] = re.sub(r'(-script\.pyw?|\.exe)?$', '', sys.argv[0])
+    sys.exit(
+        load_entry_point('setuptools==40.8.0', 'console_scripts', 'easy_install-3.7')()
+    )

venv/bin/easy_install-3.7

@@ -0,0 +1,10 @@
+#!/Users/alexandrakolosova/Documents/HSE/Diploma/app/AttributePNet/venv/bin/python
+# -*- coding: utf-8 -*-
+import re
+import sys
+
+from numpy.f2py.f2py2e import main
+
+if __name__ == '__main__':
+    sys.argv[0] = re.sub(r'(-script\.pyw?|\.exe)?$', '', sys.argv[0])
+    sys.exit(main())

venv/bin/f2py

@@ -0,0 +1,10 @@
+#!/Users/alexandrakolosova/Documents/HSE/Diploma/app/AttributePNet/venv/bin/python
+# -*- coding: utf-8 -*-
+import re
+import sys
+
+from numpy.f2py.f2py2e import main
+
+if __name__ == '__main__':
+    sys.argv[0] = re.sub(r'(-script\.pyw?|\.exe)?$', '', sys.argv[0])
+    sys.exit(main())

venv/bin/f2py3

@@ -0,0 +1,10 @@
+#!/Users/alexandrakolosova/Documents/HSE/Diploma/app/AttributePNet/venv/bin/python
+# -*- coding: utf-8 -*-
+import re
+import sys
+
+from numpy.f2py.f2py2e import main
+
+if __name__ == '__main__':
+    sys.argv[0] = re.sub(r'(-script\.pyw?|\.exe)?$', '', sys.argv[0])
+    sys.exit(main())