Marco Mascheroni, Thomas Wagner, and Lars Wüstenberg.
Verifying reference nets by means of hypernets: A plugin for Renew.
In Duvigneau and Moldt (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE'10, Braga, Portugal, pages 39-54.
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.
@InProceedings{Mascheroni+10, author = {Mascheroni, Marco and Wagner, Thomas and W{\"u}stenberg, Lars}, authorplain = {Mascheroni, Marco and Wagner, Thomas and Wuestenberg, Lars}, title = {Verifying Reference Nets By Means of Hypernets: A Plugin for {Renew}}, crossref = {Duvigneau+-e-10}, pages = {39--54}, year = 2010, keywords = {Verification, High-level Petri nets, Reference nets, Hypernets}, 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.} } @Proceedings{Duvigneau+-e-10, editor = {Duvigneau, Michael and Moldt, Daniel}, title = {Proceedings of the International Workshop on {Petri} Nets and Software Engineering, PNSE'10, Braga, Portugal}, booktitle = {Proceedings of the International Workshop on {Petri} Nets and Software Engineering, PNSE'10, Braga, Portugal}, number = {FBI-HH-B-294/10}, ISBN = {978-972-8692-55-1}, url = {http://epub.sub.uni-hamburg.de/informatik/volltexte/2010/148/}, series = {Bericht}, urn = {urn:nbn:de:gbv:18-228-7-1488}, publisher = FBIUniHHab2006, address = FBIUniAdresse, month = jun, year = 2010 }
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.