{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:39:38Z","timestamp":1725518378129},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540681267"},{"type":"electronic","value":"9783540681274"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68127-4_27","type":"book-chapter","created":{"date-parts":[[2008,9,8]],"date-time":"2008-09-08T11:56:09Z","timestamp":1220874969000},"page":"255-264","source":"Crossref","is-referenced-by-count":0,"title":["Encoding Modalities into Extended Petri Net for Analyzing Discrete Event Business Process"],"prefix":"10.1007","author":[{"given":"Takashi","family":"Hattori","sequence":"first","affiliation":[]},{"given":"Hiroshi","family":"Kawakami","sequence":"additional","affiliation":[]},{"given":"Osamu","family":"Katai","sequence":"additional","affiliation":[]},{"given":"Takayuki","family":"Shiose","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"27_CR2","unstructured":"Hughes, G.H., Cresswell, M.J.: An Introduction of Modal Logic. Methuen (1968)"},{"key":"27_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal Logic","author":"N. Rescher","year":"1971","unstructured":"Rescher, N., Urquhart, A.: Temporal Logic. Springer, Heidelberg (1971)"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G. Wright. von","year":"1951","unstructured":"von Wright., G.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"},{"issue":"3","key":"27_CR5","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1305\/ndjfl\/1093891406","volume":"15","author":"L.F. Goble","year":"1974","unstructured":"Goble, L.F.: Gentzen systems for modal logic. Notre Dame J. of Formal Logic\u00a015(3), 455\u2013461 (1974)","journal-title":"Notre Dame J. of Formal Logic"},{"key":"27_CR6","series-title":"LINCIS","volume-title":"Dynamic Analysis of Petri Net-Based Discrete systems","author":"A. Karatkevich","year":"2007","unstructured":"Karatkevich, A.: Dynamic Analysis of Petri Net-Based Discrete systems. LINCIS, vol.\u00a0356. Springer, Heidelberg (2007)"},{"key":"27_CR7","unstructured":"Hu, Z., Shatz, S.M.: Mapping UML diagrams to a Petri net notation for system simulation. In: Proc. of the 16th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE), pp. 213\u2013219 (2004)"},{"key":"27_CR8","unstructured":"Saldhana, J., Shatz, S.M.: UML diagrams to object Petri net models: An approach for modeling and analysis. In: Proc. of the Int. Conf. on Software Engineering and Knowledge Engineering (SEKE), pp. 103\u2013110 (2000)"},{"key":"27_CR9","series-title":"Lecture Notes in Artificial Intelligence","first-page":"3","volume-title":"Advances in Knowledge Discovery and Data Mining","author":"L. \u00c5qvist","year":"2004","unstructured":"\u00c5qvist, L.: Combinations of tense and deontic modality. In: Dai, H., Srikant, R., Zhang, C. (eds.) PAKDD 2004. LNCS (LNAI), vol.\u00a03056, pp. 3\u201328. Springer, Heidelberg (2004)"},{"key":"27_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-32870-4","volume-title":"Advances in Verification of Time Petri Nets and Timed Automata","author":"W. Penczek","year":"2006","unstructured":"Penczek, W., et al.: Advances in Verification of Time Petri Nets and Timed Automata. Springer, Heidelberg (2006)"},{"key":"27_CR11","unstructured":"Okugawa, S.: Introduction to Petri Nets (in Japanese). Kyoritsu Shuppan Co., Ltd (1995)"},{"key":"27_CR12","volume-title":"Petri Nets","author":"W. Reisig","year":"1982","unstructured":"Reisig, W.: Petri Nets. Springer, Heidelberg (1982)"},{"issue":"6","key":"27_CR13","first-page":"31","volume":"27","author":"O. Katai","year":"1983","unstructured":"Katai, O., Iwai, S.: A design method for concurrent systems based on step diagram and tense logic under incompletely specified design criteria (in Japanese). Systems, Control and Information\u00a027(6), 31\u201340 (1983)","journal-title":"Systems, Control and Information"},{"key":"27_CR14","unstructured":"Katai, O., et\u00a0al.: Decentralized control of discrete event systems based on extended higher order Petri nets. In: Proc. of the Asian Control Conference, pp. 897\u2013900 (1994)"}],"container-title":["Studies in Computational Intelligence","New Directions in Intelligent Interactive Multimedia"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68127-4_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:37:26Z","timestamp":1620016646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68127-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540681267","9783540681274"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68127-4_27","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[]}}