Abstract
A method of constructing net (cause-effect structure and Petri net) from a specification given as an axiomatic system and proving behaviour of the net to conform to the specification is presented and illustrated by two examples.
Get full access to this article
View all access options for this article.