Skip to main content

Reusing Petri Nets Through the Semantic Web

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3053))

Abstract

The paper presents the Petri net ontology that should enable sharing Petri nets on the Semantic Web. Previous work on formal methods for representing Petri nets mainly defines tool-specific Petri net descriptions (i.e. metamodels) or formats for Petri net model interchange (i.e. syntax). However, such efforts do not provide a suitable model description for using Petri nets on the Semantic Web. This paper uses the Petri net UML model as a starting point for implementing the Petri net ontology. The UML model is then refined using the Protégé ontology development tool and the Ontology UML profile. Resulting Petri net models are represented on the Semantic Web is using XML-based ontology representation languages, Resource Description Framework (RDF) and Web Ontology Language (OWL). We implemented a Petri net software tool as well as tools for the Petri net Semantic Web infrastructure.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Peterson, J.: Petri net theory and the modeling of systems. Prentice Hall, Englewood Cliffs (1981)

    Google Scholar 

  2. Berthelot, G., et al.: A syntax for the description of Petri Nets. Petri Net Newsletter (29), 4–15 (1988)

    Google Scholar 

  3. Billington, J., et al.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, Eindhoven, The Netherlands, pp. 483–505 (2003)

    Google Scholar 

  4. ISO/IEC/JTC1/SC7 WG19, New proposal for a standard on Petri net techniques (2002), Available: http://www.daimi.au.dk/PetriNets/standardisation/

  5. Gómez-Pérez, A., Corcho, O.: Ontology Languages for the Semantic Web. IEEE Intelligent Systems 17(1), 54–60 (2002)

    Article  Google Scholar 

  6. Bechhofer, S., et al.: OWL Web Ontology Language Reference, W3C Recommendation (2004), http://www.w3.org/TR/2004/REC-owl-ref-20040210

  7. Jackson, D. (ed.): Scalable Vector Graphics (SVG) Specification v1.2, W3C Working Draft (2003), http://www.w3.org/TR/2003/WD-SVG12-20030715/

  8. Noy, N.F., et al.: Creating Semantic Web Contents with Protégé-2000. IEEE Intelligent Systems 16(2), 60–71 (2001)

    Article  Google Scholar 

  9. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  10. Breton, E., Bézivin, J.: Towards an Understanding of Model Executability. In: Proc. of the Int. Conf. on Formal Ont. in Information Sys., Ogunquit, Maine, USA, pp. 70–80 (2001)

    Google Scholar 

  11. Bause, F., et al.: Abstract Petri Net Notation. Petri Net Newsletter (49), 9–27 (1995)

    Google Scholar 

  12. Weber, M., Kindler, E.: The Petri Net Markup Language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, Springer, Heidelberg (2003)

    Google Scholar 

  13. Gašević, D., Devedžić, V.: Software support for teaching Petri nets: P3. In: Proceedings of the 3rd IEEE International Conference on Advanced Learning Technologies, Athens, Greece, pp. 300–301 (2003)

    Google Scholar 

  14. Klein, M.: XML, RDF, and Relatives. IEEE Intelligent Systems 16(2), 26–28 (2001)

    Article  Google Scholar 

  15. Gruber, T.: A translation approach to portable ontology specifications. Knowledge Acquisition 5(2), 199–220 (1993)

    Article  Google Scholar 

  16. Chandrasekaran, B., et al.: What Are Ontologies, and Why Do We Need Them? IEEE Intelligent Systems 14(1), 20–26 (1999)

    Article  Google Scholar 

  17. Kogut, P., et al.: UML for Ontology Development. The Knowledge Engineering Review 17(1), 61–64 (2002)

    Article  Google Scholar 

  18. OMG Unified Modeling Language Specification v1.5, OMG document formal/03-03-01, http://www.omg.org/cgi-bin/apps/doc?formal/03-03-01.zip (2003)

  19. Bock, C.: UML without Pictures. IEEE Software 20(5), 33–35 (2003)

    Article  Google Scholar 

  20. Baclawski, K., et al.: Extending the Unified Modeling Language for ontology development. Int. J. Software and Systems Modeling 1(2), 142–156 (2002)

    Article  Google Scholar 

  21. Djurić, D., et al.: Ontology Modeling and MDA. Journal on Object Technology 4(1) (2005) (forthcoming)

    Google Scholar 

  22. Gašević, D., et al.: Converting UML to OWL ontologies. In: 13th International WWW Conference, NY, USA (2004) (forthcoming)

    Google Scholar 

  23. Handschuh, S., et al.: Annotation for the Deep Web. IEEE Intelligent Systems 18(5), 42–48 (2003)

    Article  Google Scholar 

  24. Narayanan, S., McIlraith, S.: Analysis and Simulation of Web Service. Computer Networks: Int’l Journal of Computer and Telecommunications Networking 42(5), 675–693 (2003)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gašević, D., Devedžić, V. (2004). Reusing Petri Nets Through the Semantic Web. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds) The Semantic Web: Research and Applications. ESWS 2004. Lecture Notes in Computer Science, vol 3053. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25956-5_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25956-5_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21999-6

  • Online ISBN: 978-3-540-25956-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics