Site Name

Resources

The following resources are results of the projects:

• P3 tool
  • P3 installation (zip)
    After you have download the P3.zip file, just exctract it and then start the file Setup.exe. After installation go to Start>Programs>P3, and use P3.
  • Additional DLLs - browse
• PNML XML Schema definitions
  • XML Schema of standard Petri nets (xsd)
  • XML Schema definiton of Upgraded Petri nets (xsd)
• Protégé/RDFS ontology
  • Core Petri net ontology (Protégé project, RDFS file, RDF file)
  • Extension for Upgraded Petri nets (Protégé project, RDFS file, RDF file)
• Mappings
  • DaNAMiCS - form PNML into to the DaNAMiCS textual format
  • Renew - from PNML into to the Renew XML-based format
  • Petri Net Kernel - from PNML into the PNK PNML-based format
  • PNMLtoSVGXalanC - from PNML format into RDF-annotated SVG (for XalanC XSLT processor); PNMLtoSVGXalanJ (for XalanJ XSLT processor)
  • RDFtoPNML - from Petri net RDF format (produced by P3) into PNML language
  • PNMLtoRDF - from PNML format into Petri net RDF format (produced by P3)
  • PNMLtoSVGRDF - from PNML format into RDF-annotated SVG (for XalanJ XSLT processor); PNMLtoSVGRDFXalanC (for XalanC XSLT processor)
    • this transformation calls the PNMLtoRDFforSVG transformation
  • SVGRDFtoPNML - from RDF-annotated SVG into PNML format
• P3's Petri net examples
  • Dining Philosophers (xml, p3, rdf, svg, svg-rdf)
  • Producer customer (xml, p3, rdf, svg, svg-rdf)
  • RollCall (xml, p3, rdf, svg, svg-rdf)