{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:28:18Z","timestamp":1725474498139},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540658702"},{"type":"electronic","value":"9783540489115"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/bfb0097775","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T14:28:04Z","timestamp":1164378484000},"page":"131-149","source":"Crossref","is-referenced-by-count":0,"title":["Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach"],"prefix":"10.1007","author":[{"given":"Hong-ju","family":"Moon","sequence":"first","affiliation":[]},{"given":"Sang Yong","family":"Moon","sequence":"additional","affiliation":[]},{"given":"Wook Hyun","family":"Kwon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,10,26]]},"reference":[{"unstructured":"ISO\/IEC 8802-2: Logical Link Control, IEEE, Inc., 1994.","key":"5_CR1"},{"unstructured":"A. Valenzano, C. Demartini, and L. Ciminiera, MAP and TOP Communications: Standards and Applications, Addison-Wesley, 1992.","key":"5_CR2"},{"issue":"No.11","key":"5_CR3","doi-asserted-by":"publisher","first-page":"1273","DOI":"10.1109\/32.60315","volume":"16","author":"I. Suzuki","year":"1990","unstructured":"Ichiro Suzuki, \u201cFormal Analysis of the Alternating Bit Protocol by Temporal Petri Nets\u201d, IEEE Trans. on Software Engineering, Vol. 16, No. 11, Nov. 1990, pp. 1273\u20131281.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"No.2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1109\/26.216500","volume":"41","author":"E. W. Biersack","year":"1993","unstructured":"Ernst W. Biersack, \u201cPerformance of the IEEE 802.2 Type-2 Logical Link Protocol with Selective Retransmission\u201d, IEEE Trans. on Comm. Vol. 41, No. 2, Feb. 1993, pp. 291\u2013294.","journal-title":"IEEE Trans. on Comm."},{"issue":"No.7","key":"5_CR5","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0140-3664(93)90101-W","volume":"16","author":"H. K. Pung","year":"1993","unstructured":"H. K. Pung, \u201cEffects of window flow control on the 802.2 Type-II logical link performance in ArbNet\u201d, Computer Communications, Vol. 16, No. 7, July 1993, pp. 403\u2013412.","journal-title":"Computer Communications"},{"issue":"No.4","key":"5_CR6","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1109\/41.232229","volume":"40","author":"A. E. Elnakhal","year":"1993","unstructured":"Abd E. Elnakhal and Helmut Rzehak, \u201cDesign and Performance Evaluation of Real Time Communication Architectures\u201d, IEEE Trans. on Industrial Electronics, Vol. 40, No. 4, Aug. 1993, pp. 404\u2013411.","journal-title":"IEEE Trans. on Industrial Electronics"},{"issue":"No.9","key":"5_CR7","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"P. Merlin and D. J. Faber, \u201cRecoverability of communication protocols\u201d, IEEE Trans. Commun., Vol. COM-24, No. 9, Sept. 1976, pp. 1036\u20131043.","journal-title":"IEEE Trans. Commun."},{"issue":"No.3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"B. Berthomieu and M. Diaz, \u201cModeling and Verification of Time Dependent Systems Using Time Petri Nets\u201d, IEEE Transactions on Software Engineering, Vol. 17, No. 3, Mar, 1991, pp. 259\u2013273.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"No.3","key":"5_CR9","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"13","author":"N. G. Leveson","year":"1987","unstructured":"Nancy G. Leveson and Janice L. Stolzy, \u201cSafety Analysis Using Petri Nets\u201d, IEEE Trans. on Software Engineering, Vol. SE-13, No. 3, March 1987, pp. 386\u2013397.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"No.12","key":"5_CR10","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1109\/32.489073","volume":"21","author":"G. Bucci","year":"1995","unstructured":"Giacomo Bucci and Enrico Vicario, \u201cCompositional Validation of Time-Critical Systems Using Communicating Time Petri Nets\u201d, IEEE Trans. on Software Engineering, Vol. 21, No. 12, December 1995, pp. 969\u2013992.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"No.3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Rajeev Alur, Thomas A. Henzinger, and Pei-Hsin Ho, \u201cAutomatic Symbolic Verification of Embedded Systems\u201d, IEEE Trans. on Software Engineering, Vol. 22, No. 3, March 1996, pp. 181\u2013201.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"No.12","key":"5_CR12","doi-asserted-by":"publisher","first-page":"2486","DOI":"10.1109\/TCOM.1982.1095451","volume":"30","author":"R. L. Schwartz","year":"1982","unstructured":"R. L. Schwartz and P. M. Melliar-Smith, \u201cFrom State Machines to Temporal Logic: Specification Methods for Protocol Standards\u201d, IEEE Trans. on Commun., Vol. COM-30, No. 12, Dec. 1982, pp. 2486\u20132496.","journal-title":"IEEE Trans. on Commun."}],"container-title":["Lecture Notes in Computer Science","Application of Petri Nets to Communication Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0097775","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T03:07:49Z","timestamp":1550200069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0097775"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540658702","9783540489115"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0097775","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}