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).
|Title of host publication||Petri 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)|
|Editors||S. Donatelli, P.S. Thiagarajan|
|Place of Publication||Berlin|
|Publication status||Published - 2006|
|Name||Lecture Notes in Computer Science|