Open AccessFormal Modeling and Analysis Techniques for High Level Petri Nets
Author(s) -
Liu Su
Publication year - 2014
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.25148/etd.fi14071134
Subject(s) - petri net , executable , computer science , process architecture , programming language , stochastic petri net , formal methods , theoretical computer science , distributed computing , software engineering
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