{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:55:20Z","timestamp":1772121320346,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540000297","type":"print"},{"value":"9783540361039","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_24","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T23:15:07Z","timestamp":1179270907000},"page":"221-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows"],"prefix":"10.1007","author":[{"given":"Yuyue","family":"Du","sequence":"first","affiliation":[]},{"given":"Changjun","family":"Jiang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"1","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 1 (1998) 21\u201366","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"2","author":"N.R. Adam","year":"1998","unstructured":"Adam, N.R., Atluri, V., Huang, W.K.: Modeling and analysis of workflow using Petri nets. Journal of Intelligent Information Systems 2 (1998) 131\u2013158","journal-title":"Journal of Intelligent Information Systems"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1109\/ICCNMC.2001.962596","volume-title":"Conference on Computer Networks and Mobile Computing","author":"Y.Y. Du","year":"2001","unstructured":"Du, Y.Y., Jiang, C.J.: Formal analysis of an online stock trading system by temporal Petri nets. In: Williams, A.D. (ed.): Int. Conference on Computer Networks and Mobile Computing, IEEE Computer Society Press, Beijing, China (2001) 197\u2013202"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"4","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE 4 (1989) 541\u2013580","journal-title":"Proceedings of the IEEE"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1109\/3477.875448","volume":"5","author":"J.C. Wang","year":"2000","unstructured":"Wang, J.C., Deng, Y., Xu, G.: Reachability analysis of real-time systems using time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics 5 (2000) 725\u2013736","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:18:26Z","timestamp":1558257506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"10 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}