Abstract
This paper describes Petriweb, a web application for managing collections of Petri nets.
When a collection of nets is large or has multiple users, it becomes difficult for users to survey the collection and to find specific nets. Petriweb addresses this issue by supporting arbitrary content-based filtering. Nets can be assigned properties with values of arbitrary types. Properties can be used in searching and are displayed in search results. Their values can be manually assigned by users or derived automatically by applying a tool. This allows server-side integration of Petri net analysis tools. Properties can also define translations to output formats, on which the user can invoke client-side viewers and analyzers. Petriweb supports communities: members submit nets and property definitions, community moderators approve them.
The paper discusses Petriweb’s features and architecture, and how it relies on the proper application of a common document format for Petri nets, the Petri Net Markup Language (PNML).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Software and Systems Engineering – High-level Petri Nets, Part 2: Transfer Format – ISO/IEC WD 15909-2:2005(E) (June 2005)
Clark, J., Murata, M.: RELAX NG Specification (2001), http://www.oasis-open.org/committees/relax-ng/spec-20011203.html
Desel, J., Esparza, J.: Free Choice Petri Nets. In: Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press, Cambridge (1995)
Billington, J., et al.: The Petri Net Markup Language. Concepts, Technology, and Tools, http://citeseer.nj.nec.com/billington03petri.html
Post, R., et al.: Yasper, Yet Another Smart Process EditoR (2004–2006), http://www.yasper.org
van Hee, K., Post, R., Somers, L.: Yet Another Smart Process Editor. In: Proc. of European Simulation and Modelling Conference (ESM 2005), EUROSIS, Porto, Portugal (2005)
Jeliffe, R.: The Schematron. An XML Structure Validation Language using Patterns in Trees (2003), http://www.ascc.net/xml/resource/schematron/schematron.html
Kindler, E., Weber, M.: The Petri Net Kernel - An infrastructure for building Petri net tools. International Journal on Software Tools for Technology Transfer 3(4), 486–497 (2001)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Reisig, W.: Petri Nets: An Introduction. Monographs in Theoretical Computer Science: An EATCS Series, vol. 4. Springer, Berlin (1985)
Verbeek, E., van der Aalst, W.M.P.: Woflan 2.0, A Petri-Net-Based Workflow Diagnosis Tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, p. 475. Springer, Heidelberg (2000)
Weber, M., Kindler, E.: The Petri Net Markup Language (April 2002), http://www.informatik.hu-berlin.de/top/pnml/
Weber, M., Kindler, E.: Petri Net Markup Language schema RELAX NG implementation of structured PNML (2004), http://www.informatik.hu-berlin.de/top/pnml/1.3.2/structuredPNML.rng
van der Werf, J.M.E.M., Post, R.D.J.: EPNML 1.1 - an XML format for Petri nets (March 2004), http://www.petriweb.org/specs/epnml11/pnmldef.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goud, R., van Hee, K.M., Post, R.D.J., van der Werf, J.M.E.M. (2006). Petriweb: A Repository for Petri Nets. In: Donatelli, S., Thiagarajan, P.S. (eds) Petri Nets and Other Models of Concurrency - ICATPN 2006. ICATPN 2006. Lecture Notes in Computer Science, vol 4024. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767589_24
Download citation
DOI: https://doi.org/10.1007/11767589_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34699-9
Online ISBN: 978-3-540-34700-2
eBook Packages: Computer ScienceComputer Science (R0)