{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T04:42:17Z","timestamp":1741754537968,"version":"3.38.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/fskd.2011.6019803","type":"proceedings-article","created":{"date-parts":[[2011,9,22]],"date-time":"2011-09-22T19:43:18Z","timestamp":1316720598000},"page":"1396-1400","source":"Crossref","is-referenced-by-count":11,"title":["Representation of Petri net with OWL DL ontology"],"prefix":"10.1109","author":[{"given":"Fu","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z. M.","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slobodan","family":"Ribaric","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/EURCON.2007.4400398"},{"key":"18","first-page":"16","author":"soffer","year":"2008","journal-title":"Assigning Ontology-Based Semantics to Process Models The Case of Petri Nets"},{"key":"15","first-page":"45","article-title":"An ontology-based evaluation of process modeling with Petri nets","volume":"2","author":"recker","year":"2007","journal-title":"International Journal of Interoperability in Business Information Systems"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-75329-9","author":"reisig","year":"1992","journal-title":"A Primer in Petri Net Design"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/32.21746"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"journal-title":"Introduction to Maria and High-level Petri Nets","year":"2001","author":"ma?kela?","key":"12"},{"key":"21","first-page":"11","article-title":"A high-level petri net ontology compatible with PNML","volume":"71","author":"vidal","year":"2006","journal-title":"Petri Net Newsletter"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.3233\/ISB-00207","article-title":"Ontology based standardization of Petri net modeling for signaling pathways","author":"takai-igarashi","year":"2005","journal-title":"Silico Biol"},{"key":"22","first-page":"343","article-title":"Introduction to Petri net theory","volume":"25","author":"yen","year":"2006","journal-title":"Recent Advances in Formal Languages and Applications"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2006.191"},{"key":"24","article-title":"Topological analysis of metabolic networks based on Petri net theory","volume":"3","author":"zevedei-oancea","year":"2003","journal-title":"Silico Biol"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1142\/3376"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"2","first-page":"4","article-title":"A syntax for the description of Petri nets","volume":"29","author":"berthelot","year":"1988","journal-title":"Petri Net Newsletter"},{"key":"10","article-title":"Using IDEF0\/Petri net for Ontology based task knowledge analysis: The case of emergency response for debris flow","volume":"4","author":"liu","year":"2006","journal-title":"System Sciences HICSS"},{"journal-title":"A Semantic Web Primer","year":"2004","author":"antoniou","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1504\/IJWET.2007.014439"},{"key":"6","first-page":"483","article-title":"The Petri net markup language: Concepts, technology, and tools","volume":"2679","author":"billington","year":"2003","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-93851-4_41"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/505168.505176"},{"key":"9","first-page":"514","article-title":"Using E-connection and description logic for formalizing and analyzing high-level petri net","author":"lu","year":"2007","journal-title":"Proceedings of the Ninth Int Symposium on Symbolic and Numeric Algorithms for Scientific Computing"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.001"}],"event":{"name":"2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2011)","start":{"date-parts":[[2011,7,26]]},"location":"Shanghai","end":{"date-parts":[[2011,7,28]]}},"container-title":["2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6012258\/6019524\/06019803.pdf?arnumber=6019803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T20:35:47Z","timestamp":1741725347000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6019803\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/fskd.2011.6019803","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}