Using ε-connection and description logic for formalizing and analyzing high-level Petri Net

Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007

Volumn , Issue , 2007, Pages 514-517

  Lu, Songfeng ^a   Sun, Chengfu ^a   Ma, Xinjian ^b  

^a HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b NANJING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DATA DESCRIPTION; GRAPH THEORY; HYPERTEXT SYSTEMS; INFORMATION MANAGEMENT; MARKUP LANGUAGES; PETRI NETS;

DESCRIPTION LOGIC; INTERNATIONAL SYMPOSIUM; LOGICAL APPROACHES; PETRI NET MARKUP LANGUAGE; PROCESSABLE; SCIENTIFIC COMPUTING;

ONTOLOGY;

EID: 48049098789     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2007.10     Document Type: Conference Paper

References (9)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Schneider. The description logic handbook: Theory, implementation, and applications. Cambridge University Press, 2003.
2. J. Billington et al. High-level petri nets - concepts, definitions and graphicalnotation. Final Draft International Standard ISO/IEC 15909, 2002.
3. J. Billington 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, pages 483-505, 2003.
4. D. Gasevic and V. Devedzic. Reusing petri nets through the semantic web. In: Proceedings of the 1st European Semantic Web Symposium, 2004.
5. D. Gas̈ević and V. Devedz̈ić. Petri net ontolgoy. Knowledge-Based Systems, (19):220-234, 2006.
6. B. C. Grau, B. Parsia, and E. Sirin. Combining owl ontologies using ε-connection. Elsevier Science, 2006.
7. O. Kutz, F. Wolter, and M. Zakharyaschev. Connecting abstract description systems. In Proceedings of KR, 2002.
8. M. Mäkelä. Introduction to maria and high-level petri nets. Laboratory for Theoretical Computer Science Helsinki University of Technology ,http://www.tcs.hut.fi/maria, 2001.
9. S. Narayanan and S. McIlraith. Analysis and simulation of web services. Computer Networks. Int'l Journal of Computer and Telecommunications Networking, 42(5):675-693, 2003.