{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T05:02:41Z","timestamp":1766466161114},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540362975"},{"type":"electronic","value":"9783540362999"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11795131_106","type":"book-chapter","created":{"date-parts":[[2006,9,26]],"date-time":"2006-09-26T11:48:02Z","timestamp":1159271282000},"page":"727-734","source":"Crossref","is-referenced-by-count":6,"title":["Timed Hierarchical Object-Oriented Petri Net-Part I: Basic Concepts and Reachability Analysis"],"prefix":"10.1007","author":[{"given":"Hua","family":"Xu","sequence":"first","affiliation":[]},{"given":"Peifa","family":"Jia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"106_CR1","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of IEEE"},{"volume-title":"Petri Net Theory and the Modeling of Systems","year":"1991","key":"106_CR2","unstructured":"Peterson, J.L. (ed.): Petri Net Theory and the Modeling of Systems. Prentice-Hall, \u00a0New York (1991)"},{"key":"106_CR3","doi-asserted-by":"publisher","first-page":"1374","DOI":"10.1109\/21.310513","volume":"24","author":"Y.L. Yao","year":"1994","unstructured":"Yao, Y.L.: A Petri Net Model for Temporal Knowledge Representation and Reasoning. IEEE Transactions On Systems, Man and Cybernetics\u00a024, 1374\u20131382 (1994)","journal-title":"IEEE Transactions On Systems, Man and Cybernetics"},{"key":"106_CR4","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P., Farber, D.: Recoverability of communication protocols-Implication of a theoretical study. IEEE Transactions on Communication\u00a024, 1036\u20131043 (1976)","journal-title":"IEEE Transactions on Communication"},{"key":"106_CR5","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1109\/3477.865173","volume":"30","author":"J. Wang","year":"2000","unstructured":"Wang, J., Deng, Y., Zhou, M.: Compositional time Petri nets and reduction rules. IEEE Transactions on Systems, Man and Cybernetics(Part B)\u00a030, 562\u2013572 (2000)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics(Part B)"},{"key":"106_CR6","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0020-0255(00)00090-6","volume":"130","author":"J.E. Hong","year":"2000","unstructured":"Hong, J.E., Bae, D.H.: Software Modeling And Analysis Using a Hierarchical Object-oriented Petri net. Information Sciences\u00a0130, 133\u2013164 (2000)","journal-title":"Information Sciences"},{"key":"106_CR7","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1049\/ip-sen:20010242","volume":"148","author":"J.E. Hong","year":"2001","unstructured":"Hong, J.E., Bae, D.H.: High-level petri net for incremental analysis of object-oriented system requirements. IEE Proceedings of Software\u00a0148, 11\u201318 (2001)","journal-title":"IEE Proceedings of Software"},{"volume-title":"Coloured Petri Nets: Basic Concepts, Analysis methods and Practical Use","year":"1992","key":"106_CR8","unstructured":"Jensen, K. (ed.): Coloured Petri Nets: Basic Concepts, Analysis methods and Practical Use. Springer, Berlin (1992)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Knowledge Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11795131_106.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:23:56Z","timestamp":1619493836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11795131_106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540362975","9783540362999"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11795131_106","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}