Petriweb : a repository for Petri nets

R. Goud, K.M. Hee, van, R.D.J. Post, J.M.E.M. Werf, van der

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)
9 Downloads (Pure)

Samenvatting

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).
Originele taal-2Engels
TitelPetri Nets and other Models of Concurrency - ICATPN'06 (Proceedings 27th International Conference on Applications and Theory of Petri Nets (Turku, Finland, June 26-30, 2006)
RedacteurenS. Donatelli, P.S. Thiagarajan
Plaats van productieBerlin
UitgeverijSpringer
Pagina's411-420
ISBN van geprinte versie3-540-34699-9
DOI's
StatusGepubliceerd - 2006

Publicatie series

NaamLecture Notes in Computer Science
Volume4024
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'Petriweb : a repository for Petri nets'. Samen vormen ze een unieke vingerafdruk.

Citeer dit