Modelling dynamic opacity using Petri nets with silent actions /
Bryans, Jeremy W.
Koutny, Maciej.
Ryan, Peter Y. A.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2004.
Title from cover.
Includes bibliographical references.