Interoperable Petri net models via ontology

International Journal of Web Engineering and Technology

Volumn 3, Issue 4, 2007, Pages 374-396

  Gašević, Dragan ^a   Devedžić, Vladan ^b  

^a SIMON FRASER UNIVERSITY   (Canada)

^b UNIVERSITY OF BELGRADE   (Serbia)

Author keywords

eXtensible stylesheet language transformations (XSLT); Interoperability; Ontology development; OWL; Petri nets; Semantic web

Indexed keywords

INTEROPERABILITY; LEARNING SYSTEMS; MARKUP LANGUAGES; MATHEMATICAL MODELS; ONTOLOGY; SEMANTIC WEB;

EXTENSIBLE STYLESHEET LANGUAGE TRANSFORMATIONS (XSLT); ONTOLOGY DEVELOPMENT; OWL; PETRI NET MARKUP LANGUAGE (PNML);

PETRI NETS;

EID: 34548760825     PISSN: 14761289     EISSN: 17419212     Source Type: Journal    
DOI: 10.1504/IJWET.2007.014439     Document Type: Article

References (31)

1. Baclawski, K., Kokar, M., Kogut, P., Hart, L., Smith, J.E., Letkowski, J. and Emery, P. (2002) 'Extending the unified modeling language for ontology development', International Journal on Software and Systems Modeling, Vol. 1, No. 2, pp.142-156.
2. Bause, F., Kemper, P. and Kritzinger, P. (1995) 'Abstract Petri net notation', Petri Net Newsletter, No. 49, pp.9-27.
3. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F. and Stein, L.A. (2004) 'OWL web ontology language reference', W3C Recommendation, February, http://www.w3.org/TR/2004/REC- owl-ref-20040210.
4. Berthelot, G., Vautherin, J. and Vidal-Naquet, G. (1988) 'A syntax for the description of Petri nets', Petri Net Newsletter, No. 29, pp.4-15.
5. Billington, J., Christensen, S., van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C. and Weber, M. (2003) 'The Petri net markup language: concepts, technology, and tools', Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN2003), Eindhoven, The Netherlands, pp.483-505.
6. Bock, C. (2003) 'UML without pictures', IEEE Software, Vol. 20, No. 5, pp.33-35.
7. Breton, E. and Bézivin, J. (2001) 'Towards an understanding of model executability', Proceedings of the International Conference on Formal Ontologies in Information Systems, Ogunquit, Maine, USA, pp.70-80.
8. Chandrasekaran, B., Josephson, J.R. and Benjamins, V.R. (1999) 'What are ontologies, and why do we need them?', IEEE Intelligent Systems, Vol. 14, No. 1, pp.20-26.
9. Djurić, D., Gašević, D. and Devedžić, V. (2005) 'Ontology modeling and MDA', Journal on Object Technology, Vol. 4, No. 1, pp. 109-128.
10. Gamma, E., Helm, R., Johnson, R. and Vlissides, J. (1995) Design Patterns: Elements of Reusable Object-Oriented Software, Reading, MA, USA: Addison-Wesley.
11. Gašević, D. and Devedžić, V. (2004) 'Teaching Petri nets using P3,' Educational Technology and Society, Vol. 7, No. 4, pp. 153-166.
12. Gašević, D., Djurić, D. and Devedžić, V. (2005) 'Bridging MDA and OWL ontologies', Journal of Web Engineering, Vol. 4, No. 2, pp.119-134.
13. Gómez-Pérez, A. and Corcho, O. (2002) 'Ontology languages for the semantic web', IEEE Intelligent Systems, Vol. 17, No. 1, pp.54-60.
14. Gruber, T. (1993) 'A translation approach to portable ontology specifications', Knowledge Acquisition, Vol. 5, No. 2, pp.199-220.
15. Handschuh, S., Volz. R. and Staab, S. (2003) 'Annotation for the deep web', IEEE Intelligent Systems, Vol. 18, No. 5, pp.42-48.
16. Hansen, K.M. (2001) 'Towards a coloured Petri net profile for the unified modeling language - issues, definition, and implementation'. Internal Center for Object Technology Report COT/2-52, University of Århus, Århus, Denmark, http://www.daimi.au.dk/~marius/writings/cpn.pdf, 2001.
17. Havram, M., et al. (2003) 'A component-based approach to Petri net web service realization with usage case study', Proceedings of the 10th Workshop Algorithms and Tools for Petri Nets, Eichstätt, Germany, pp.121-130.
18. ISO/IEC/JTC1/SC7 Working Group 19 (2002) 'New proposal for a standard on Petri net techniques', http://www.daimi.au.dk/PetriNets/standardisation/.
19. Jackson, D. (Ed.) (2003) 'Scalable Vector Graphics (SVG) Specification v1.2', W3C Working Draft, http://www.w3.org/TR/2003/WD-SVG12-20030715/.
20. Kindler, E. (2004) 'High-level Petri nets - transfer syntax', Proposal for the International Standard ISO/IEC 15909-2 Draft Version 0.3.0, April, http://www.upb.de/cs/kindler/publications/copies/ISO-IEC-15909-2-Draft.0.3.0. pdf.
21. Klein, M. (2001) 'XML, RDF, and relatives', IEEE Intelligent Systems, Vol. 16, No. 2, pp.26-28.
22. Kogut, P., Cranefield, S., Hart, L., Dutra, M., Baclawski, K., Kokar, M. and Smith, J. (2002) 'UML for ontology development', The Knowledge Eng. Review, Vol. 17, No. 1, pp.61-64.
23. Murata, T. (1989) 'Petri nets: properties, analysis and applications', Proceedings of the IEEE, Vol. 77, No. 4, pp.541-580.
24. Narayanan, S. and McIlraith, S. (2003) 'Analysis and simulation of web services', Computer Networks: Int. J. of Computer and Telecom. Networking, Vol. 42, No. 5, pp.675-693.
25. Noy, N.F., Sintek, M., Decker, S., Crubézy, M., Fergerson, R.W. and Musen, M.A. (2001) 'Creating Semantic Web contents with Proté gé-2000', IEEE Intelligent Systems, Vol. 16, No. 2, pp.60-71.
26. OMG Document Formal/03-03-01 (2003) 'OMG unified modeling language specification v 1.5', http://www.omg.org/cgi-bin/apps/doc?formal/03-03-01.zip.
27. Peleg, M., Yeh, I. and Altman, R. (2002) 'Modeling biological processes using workflow and Petri net models', Bioinformatics, Vol. 18, No. 6, pp.825-837.
28. Peterson, J. (1981) Petri Net Theory and the Modeling of Systems, New Jersey, USA: Prentice Hall.
29. Semenov, A., Koelmans, A.M., Lloyd, L. and Yakovlev, A. (1997) 'Designing an asynchronous processor using Petri nets', IEEE Micro, Vol. 17, No. 2, pp.54-64.
30. Štrbac, P. (2002) 'An approach to modeling communication protocol by using Upgraded Petri nets', PhD Dissertation, Military Academy, Belgrade, Serbia and Montenegro.
31. Weber, M. and Kindler, E. (2003) 'The Petri net markup language', in H. Ehrig, W. Reisig, G. Rozenberg and H. Weber (Eds.) Petri Net Technology for Communication Based Systems (LNCS Vol. 2472), Springer, Berlin, pp. 109-124.