التفاصيل البيبلوغرافية
| العنوان: |
Petriweb: A Repository for Petri Nets. |
| المؤلفون: |
Donatelli, Susanna, Thiagarajan, P. S., Goud, R., Hee, Kees M., Post, R. D. J., Werf, J. M. E. M. |
| المصدر: |
Petri Nets & Other Models of Concurrency - ICATPN 2006; 2006, p411-420, 10p |
| مستخلص: |
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). [ABSTRACT FROM AUTHOR] |
|
Copyright of Petri Nets & Other Models of Concurrency - ICATPN 2006 is the property of Springer eBooks and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| قاعدة البيانات: |
Supplemental Index |
Full Text Finder