Resources
The following resources are results of the projects:
- Protégé/RDFS ontology
- Core Petri net ontology (Protégé project, RDFS file, RDF file)
- Extension for Time Petri nets (Protégé project, RDFS file, RDF file)
- Extension for Upgraded Petri nets (Protégé project, RDFS file, RDF file)
- OWL ontology (Protégé OWL plug-in)
- Ontology UML Profile ontology
- Core Petri net ontologyPetri net ontology (zuml)
- Extension for Upgraded Petri net (zuml)
- zuml files (i.e. zip files) are developed in Poseidon for UML CE 2.0 tool. zuml files contain XMI description of UML models. XMI files can be transformed into OWL using the UMLtoOWL tool
- P3 tool
- P3's homepage (alternative homepage)
- Petri net graphical editor and simulator
- Analysis tools: reachability tree, matrix invariants, firing tree, and firing graph
- P/T nets and Upgraded Petri nets
- Export: PNML, RDF (with respect to the RDFS Petri net ontology), SVG, RDF-annotated SVG, DaNAMiCS format, Renew format, Petri Net Kernel format
- Import: PNML, RDF, RDF (with respect to the RDFS Petri net ontology), RDF-annotated SVG
- Mappings
- 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
- Prototype Web-based application for teaching Petri nets
- Petri net Web Service
- Petri net ontology
- RDF-annotated SVG documents, PNML, and mutual mappings