Site Name

Utility Link | Utility Link | Utility Link
subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link
subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link
subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link
subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link
subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link
subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link
subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link
subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link

P3 - Petri net tool

P3 - Petri net tool

This project was created in the context of the research efforts of the GoodOldAI reasearch group.

Project overview

The goal of the project is to research the use of Petri nets on the Semantic Web. The main research goals are:

  • development of an educational software that enables modeling by using Petri net graphical notation
  • implementation of several Petri net dialects in order to support modeling hardware
  • development of simulation tools that will interacitively change Petri net graph
  • implementation of different Petri net analysis tools (e.g. reachability tree, matrix equations) exchanging Petri nets models with other software tool using XML and Petri Net Markup Language (PNML)
  • support of creating Web documents in the form of Scalable Vector Graphic (SVG) documents that will contain Petri net graph
  • creating Resource Description Framework (RDF)-annotated documents with respect to the Petri net ontology

Alternative project home page. Old version of the project home page.

Contact

Contact information: Dragan Gasevic