Verifying Reference Nets By Means of Hypernets: a Plugin for Renew.
Marco Mascheroni, Thomas A. Wagner, Lars Wüstenberg · 2010
Abstract. In this paper we examine ways to verify reference nets, a class of high level Petri nets supported by the Renew tool. We choose to restrict reference nets to hypernets, another nets-within-nets model more suitable for verification purposes thanks to an expansion toward 1-safe Petri nets. The contribution of the paper is the implementation of such analysis techniques by means of a Renew plugin. With this plugin it is now possible to draw, and to analyze a hypernet. The work is demonstrated by means of a simple example.