{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:51:38Z","timestamp":1725490298395},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442226"},{"type":"electronic","value":"9783540457855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45785-2_24","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T12:10:08Z","timestamp":1188216608000},"page":"303-314","source":"Crossref","is-referenced-by-count":0,"title":["A Petri Net Model for Session Services"],"prefix":"10.1007","author":[{"given":"Jun","family":"Shen","sequence":"first","affiliation":[]},{"given":"Yun","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Junzhou","family":"Luo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"24_CR1","first-page":"93","volume":"17","author":"G. Gu","year":"1994","unstructured":"Gu, G. and Luo, J.: EPr\/TN net system and formal description techniques of protocols. Chinese Journal of Computer, Beijing, Vol. 17 (supplement), (1994) 93\u201396","journal-title":"Chinese Journal of Computer"},{"key":"24_CR2","first-page":"206","volume":"20","author":"J. Luo","year":"1997","unstructured":"Luo, J., Gu, G, and Xie, J.: Protocol analyser using Petri nets. Chinese Journal of Computer, Beijing, Vol. 20, No. 3, (1997) 206\u2013212","journal-title":"Chinese Journal of Computer"},{"key":"24_CR3","volume-title":"Computer Networks","author":"J. Gu","year":"1989","unstructured":"Gu, J. and Gong, J.: Computer Networks. Jiangsu Science and Technology Publishing House, Nanjing, (1989)"},{"key":"24_CR4","first-page":"419","volume-title":"Computer Networks","author":"M. Diaz","year":"1982","unstructured":"Diaz, M.: Modeling and analysis of communication and cooperation protocols using Petri net based models. Computer Networks, North-Holland Publishing Company, Amsterdam (1982) 419\u2013441"},{"key":"24_CR5","first-page":"135","volume-title":"Petri Nets: Application and Relationships to Other Models of Concurrency","author":"M. Diaz","year":"1988","unstructured":"Diaz, M., Petri net based models in the specification and verification of protocols. In: Brauer, W. (eds): Petri Nets: Application and Relationships to Other Models of Concurrency, Springer-Verlag, Berlin, (1988) 135\u2013170"},{"key":"24_CR6","first-page":"251","volume":"35","author":"J. Shen","year":"1998","unstructured":"Shen, J., Luo, J., and Gu, G: Redundant concurrent successor markings in the reachability analysis of EPr\/TN net. Computer Research and Development, Beijing, Vol. 35, No. 3, (1998) 251\u2013254","journal-title":"Computer Research and Development"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"13","author":"N. G. Leveson","year":"1987","unstructured":"Leveson, N. G. and Stolzy, J. L.: Safety analysis using Petri nets. IEEE Transactions on Software Engineering, Vol. 13, No. 3, (1987) 386\u2013397","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0019966","volume-title":"Advances in Petri Nets","author":"C. Andre","year":"1991","unstructured":"Andre, C: Delays in synchronized elementary net systems. In: Rozenberg, G. (eds): Advances in Petri Nets, Barlin: Springer-Verlag, (1991) 1\u201328"},{"key":"24_CR9","volume-title":"Analysis of asynchronous concurrent systems by timed Petri nets","author":"C. Ramchandani","year":"1974","unstructured":"Ramchandani, C: Analysis of asynchronous concurrent systems by timed Petri nets. M.I.T., Cambridge, MA, TR-120, (1974)"},{"issue":"5","key":"24_CR10","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1109\/TSE.1983.235261","volume":"9","author":"J. E. Coolahan","year":"1983","unstructured":"Coolahan, J. E. and Roussopoulos N.: Timing requirements for time-driven system using augmented Petri nets. IEEE Transactions on Software Engineering, Vol. 9, No. 5, (1983) 603\u2013616","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Engineering and Deployment of Cooperative Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45785-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T22:17:18Z","timestamp":1550873838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45785-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442226","9783540457855"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45785-2_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}