Open AccessPIPE+Verifier - A Tool for Analyzing High Level Petri Nets
Author(s) -
Su Liu,
Xudong He
Publication year - 2015
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - English
Resource type - Conference proceedings
SCImago Journal Rank - 0.155
H-Index - 14
eISSN - 2325-9000
pISSN - 2325-9086
DOI - 10.18293/seke2015-060
Subject(s) - petri net , computer science , programming language , process architecture , operating system