OPENET: Ontology-based engine for high-level Petri nets

Expert Systems with Applications

Volumn 37, Issue 9, 2010, Pages 6493-6509

  Vidal, Juan C ^a   Lama, Manuel ^a   Bugarín, Alberto ^a  

^a UNIVERSITY OF SANTIAGO DE COMPOSTELA   (Spain)

Author keywords

High level Petri nets; High level Petri nets execution engine; Ontologies

Indexed keywords

ENGINES; PETRI NETS; SEMANTICS; TAXONOMIES; WEB SERVICES;

DYNAMIC BEHAVIORS; EXECUTION ENGINE; HIGH-LEVEL PETRI NETS; ONTOLOGY-BASED; SET OF RULES; STATIC STRUCTURES; WEB SERVICE CHOREOGRAPHY; WORK-FLOWS;

ONTOLOGY;

EID: 80053601087     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2010.02.136     Document Type: Article

References (35)

1. Baarir, S., Beccuti, M., & Franceschinis, G. (2008). New solvers for asymmetric systems in greatspn. In Proceedings of the 5th international conference on the Quantitative Evaluation of SysTems (QEST) (pp. 235-236). St. Malo, France.
2. Basile, F., Carbone, C., & Chiacchio, P. (2002). Simulation and analysis of discreteevent control systems based on Petri nets using PNetLab. Control Engineering Practice, 15(2), 241-259.
3. Borger, E., & Stark, R. (2003). Abstract state machines: A method for high-level system design and analysis. Springer-Verlag.
4. Breton, E. B., & Bézivin J. (2001). Towards an understanding of model executability. In Proceedings of the international conference on formal ontology in information systems (FOIS 2001) (pp. 70-80). Ogunquit, Maine, USA.
5. Brockmans, S., Ehrig, M., Koschmider, A., Oberweis, A., Studer, R. (2006). Semantic alignment of business processes. In Proceedings of the eighth international conference on enterprise information systems (ICEIS 2006) (pp. 191-196). Paphos, Cyprus.
6. Ceska, M., Janousek, V., & Vojnar, T. (2002). Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems and Cybernetics, 31(9/10), 1289-1299. (Pubitemid 36074318)
7. Dean, M., Schreiber, G., Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., et al. (2004). OWL web ontology language reference, W3C recommendation. http://www.w3.org/TR/owl-ref.
8. Evangelista, S. (2005). High level Petri nets analysis with Helena. In Proceedings of the 26th international conference on applications and theory of Petri nets (ATPN 2005). Lecture notes in computer science (Vol. 3536, pp. 455-464). Berlin: Springer-Verlag. (Pubitemid 41422026)
9. Gasevic, D., & Devedzic, V. (2006). Petri net ontology. Knowledge-Based Systems, 19(4), 220-234. (Pubitemid 44051870)
10. Gómez-Pérez, A., Fernández-López, M., & Corcho, O. (2004). Ontological engineering. With examples from the areas of knowledge management, e-commerce and the semantic web (1st ed.). Advanced information and knowledge processing. Springer-Verlag.
11. Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., & Dean, M. (2004). SWRL: A Semantic WeB Rule Language Combining OWL and RuleML, W3C Submission, http://www.w3.org/Submission/SWRL/.
12. IMS Global Learning Consortium (2003). IMS Learning Design Information Model, Version 1.0 Final Specification. Available at http://www.imsglobal.org/ learningdesign/ldv1p0/imsld-infov1p0.html.
13. ISO/IEC 15909-1 (2002). Software and systems engineering high-level Petri nets part 1: Concepts, definitions and graphical notation. Final Draft of the International Standard ISO/IEC 15909-1.
14. ISO/IEC 15909-2 (2005). Software and systems engineering - High-level Petri nets. Part 2: Transfer format. Working Draft of the International Standard ISO/IEC 15909-2.
15. Jensen, K. (2003). Coloured Petri nets: Basic concepts, analysis methods and practical use. Monographs in theoretical computer science. An EATCS series (Vol. 1). Springer.
16. Jensen, K., Kristensen, L., & Wells, L. (2007). Coloured Petri nets and cpn tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer (STTT), 9(3), 213-254. (Pubitemid 46876307)
17. Kifer, M., Lausen, G., & Wu, J. (1995). Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4), 741-843.
18. Kindler, E., & Weber, M. (2001). The Petri net kernel - An infrastructure for building Petri net tools. International Journal on Software Tools for Technology Transfer, 3(4), 486-497.
19. Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Khler, M., Moldt, D., et al. (2004). Renew: An extensible editor and simulation engine for Petri nets. In Proceedings of the 25th international conference on applications and theory of Petri nets (ATPN 2004). Lecture notes in computer science (Vol. 3099, pp. 484-493). Berlin: Springer-Verlag.
20. Milner, R. (1999). Communicating and mobile systems: The pi-calculus. Cambridge University Press.
21. Payne, T., & Lassila, O. (2004). Guest editors' introduction: Semantic web services. IEEE Intelligent Systems. Special Issue on Semantic Web Services, 19(4), 14-15.
22. Petri Net World (2008). Petri nets tool database. http://www.informatik. unihamburg.de/TGI/PetriNets/tools/db.html.
23. Pommereau, F. (2008). Quickly prototyping Petri nets tools with SNAKES. In Proceedings of the SIMUTool workshop on Petri net tools and applications (PNTAP 2008). Marseille, France.
24. Sánchez, E., Lama, M., Amorim, R. R., Vidal, J. C., & Novegil, A. (2008). On the use of an IMS LD ontology for creating and executing units of learning: Application to the astronomy case study. Journal of Interactive Media in Education. Http://www-jime.open.ac.uk/2008/2008-ceml.html.
25. Sklenar, J. (2002). Simulation of queueing networks in PetriSim. In Proceedings of the 16th European simulation multiconference: Modeling and simulation (ESM 2002) (pp. 403-407). Darmstadt, Germany.
26. Songfeng, L., Chengfu, S., Xinjian, M. (2007). Using e-connection and description logic for formalizing and analyzing high-level Petri net. In Proceedings of the 9th international symposium on symbolic and numeric algorithms for scientific computing (SYNACS 2007) (pp. 514-517). Timisoara, Romania.
27. van der Aalst, W. M. P. (1998). The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1), 21-66. (Pubitemid 128540249)
28. van der Aalst, W. M. P., & van Hee, K. (2004). Workflow management: Models, methods, and systems (cooperative information systems). The MIT Press.
29. Vidal, J. C., Lama, M., & Bugarín, A. (2006). Integrated knowledge-based system for product design in furniture estimate. In Integrated intelligent systems for engineering design. Frontiers in artificial intelligence and applications (Vol. 149, pp. 345-361). IOS Press.
30. Vidal, J. C., Lama, M., & Bugarín, A. (2007). Petri net semantics for OWL-S service choreography. In Proceedings of the international workshop on formal aspects of business processes and web services (pp. 7-20). Siedlce, Poland.
31. Vidal, J. C., Lama, M., Sánchez, E., & Bugarín, A. (2008). Application of Petri nets on the execution of ims learning design documents. In Times of convergence. Technologies across learning contexts. Lecture notes in computer science (Vol. 5192, pp. 461-466). Maastricht, Holand: Springer-Verlag.
32. Wang, Y., Bai, X., Li, J., & Huang, R. (2007). Ontology-based test case generation for testing web services. In Proceedings of the eighth international symposium on autonomous decentralized systems (ISADS 2007) (pp. 43-50). Sedona, Arizona, USA. (Pubitemid 47179350)
33. Weber, M., & Kindler, E. (2003). The Petri net markup language. In Advances in Petri nets. Petri Net technology for communication based systems. Lecture notes in computer science (Vol. 2472, pp. 124-144). Springer-Verlag. (Pubitemid 37528809)
34. Yang, G., Kifer, M., & Zhao, C. (2003). FLORA-2: A rule-based knowledge representation and inference infrastructure for the semantic web. In On the move to meaningful internet systems 2003: CoopIS, DOA, and ODBASE. Lecture notes in computer science (Vol. 2888, pp. 671-688). Springer-Verlag.
35. Zimmermann, A., Knoke, M., Huck, A., & Hommel, G. (2006). Towards version 4.0 of TimeNET. In Proceedings of the 13th GI/ITG conference on measurement, modeling, and evaluation of computer and communication systems (MMB 2006) (pp. 477-480). Nurnberg, Germany.