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 , satisfiability modulo theories , model checking , boolean satisfiability problem , modulo , state (computer science) , theoretical computer science , programming language , state space , bounded function , process architecture , computability , recursion (computer science) , stochastic petri net , distributed computing , mathematics , discrete mathematics , mathematical analysis , statistics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom