Petriweb: A repository for Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4024 LNCS, Issue , 2006, Pages 411-420

  Goud, R ^a   Van Hee, Kees M ^a   Post, R D J ^a   Van Der Werf, J M E M ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; INTEGRATION; WORLD WIDE WEB;

CONTENT-BASED FILTERING; PETRI NET MARKUP LANGUAGE (PNML); PETRIWEB;

PETRI NETS;

EID: 33746090986     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767589_24     Document Type: Conference Paper

References (14)

1. Software and Systems Engineering- High-level Petri Nets, Part 2: Transfer Format - ISO/IEC WD 15909-2:2005(E). June 2005.
2. James Clark and Makoto Murata. RELAX NG Specification, 2001. http://wwv.oasis-open.org/committees/relax-ng/spec-20011203.html.
3. J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1995.
4. J. Billington et al. The Petri Net Markup Language: Concepts, Technology, and Tools. http://citeseer.nj.nec.com/billington03petri.html.
5. R. Post et al. Yasper, Yet Another Smart Process EditoR, 2004-2006. www.yasper.org.
6. K. van Hee, R. Post, and L. Somers. Yet Another Smart Process Editor. In Proc. of European Simulation and Modelling Conference (ESM 2005), EUROSIS, Porto, Portugal, 2005.
7. Rick Jeliffe. The Schematron. An XML Structure Validation Language using Patterns in Trees, 2003. http://www.ascc.net/xml/resource/schematron/schematron. html.
8. Ekkart Kindler and Michael Weber. The Petri Net Kernel - An infrastructure for building Petri net tools. International Journal on Software Tools for Technology Transfer, 3(4):486-497, 2001.
9. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
10. W. Reisig. Petri Nets: An Introduction, volume 4 of Monographs in Theoretical Computer Science: An EATCS Series. Springer-Verlag, Berlin, 1985.
11. Eric Verbeek and Wil M.P. van der Aalst. Woflan 2.0, A Petri-Net-Based Workflow Diagnosis Tool. In Lecture Notes in Computer Science, volume 1825, page 475, 2000.
12. Michael Weber and Ekkart Kindler. The Petri Net Markup Language, April 2002. http://www.informatik.hu-berlin.de/top/pnml/.
13. Michael Weber and Ekkart Kindler. 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.
14. J.M.E.M. van der Werf and R.D.J. Post. EPNML 1.1 - an XML format for Petri nets, March 2004. http://www.petriweb.org/specs/epnml11/pnmldef.pdf.