Open AccessFormal Modeling and Analysis Techniques for High Level Petri Nets
Author(s) -
Su Liu
Publication year - 2017
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