{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T21:20:34Z","timestamp":1761945634154,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"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\/bfb0097774","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T14:28:04Z","timestamp":1164378484000},"page":"93-130","source":"Crossref","is-referenced-by-count":5,"title":["Colored petri nets based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the fieldbus protocol"],"prefix":"10.1007","author":[{"given":"Adel Ben","family":"Mnaouer","sequence":"first","affiliation":[]},{"given":"Takashi","family":"Sekiguchi","sequence":"additional","affiliation":[]},{"given":"Yasumasa","family":"Fujii","sequence":"additional","affiliation":[]},{"given":"Toru","family":"Ito","sequence":"additional","affiliation":[]},{"given":"Haruki","family":"Tanaka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,10,26]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"P. Pleinevaux, J. D. Decotignie: Time Critical Communication Networks: Field Buses, IEEE Network Vol. 2, No. 3, May 1988.","DOI":"10.1109\/65.3274"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"K. G. Shin and C. C. Chou: Design and Evaluation of Real-Time Communication for Fieldbus-Based Manufacturing Systems, IEEE Trans. on Robotics and Automation, Vol. 12, NO. 3, June 1996.","DOI":"10.1109\/70.499818"},{"key":"4_CR3","unstructured":"ISA and IEC commission: Field bus Data Link Layer Specification, Unapproved Committee Draft, 1995."},{"key":"4_CR4","unstructured":"ANSI\/IEEE std. 802.4-1995: Token-Passing Bus Access Method and Physical Layer Specifications, IEEE 1985."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"A. Ben Mnaouer, T. Ito, H. Tanaka, W. K. Yoo, T. Sekiguchi: Asynchronous Bandwidth Allocation and Parameter Setting in the Fieldbus Protocol, in the IEE Japan, Transactions of Electronics, Information and Systems Society (C), pp. 962\u2013970, July 1997.","DOI":"10.1541\/ieejeiss1987.117.7_962"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"G. Agrawal, B. Chen, W. Zhao and S. Davari: Guaranteeing Synchronous Message Deadlines with the Timed Token Medium Access Control Protocol, IEEE Trans. On Computers, Vol. 43, March 1994.","DOI":"10.1109\/12.272433"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"S. Cavalieri, A. Di Stefano, O. Mirabella: Pre-Run Time Scheduling to Reduce Schedule Length in the Fieldbus Environment, IEEE Trans. on Soft. Eng., Vol. 21, NO. 11, Nov. 1995.","DOI":"10.1109\/32.473215"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"P. Raja and N. Guevera: Static and Dynamic Polling mechanisms for Fieldbus Networks, ACM Operating Systems Review 27(1), July 1993.","DOI":"10.1145\/155870.155875"},{"key":"4_CR9","first-page":"530","volume":"1","author":"P. Raja","year":"1993","unstructured":"P. Raja, K. Vijayananda and J.D. Decotignie: Polling Algorithms and their Properties for Fieldbus Networks, Proc of the IECON'93, Vol. 1, pp. 530\u2013534, Hawai, November 1993.","journal-title":"Proc of the IECON'93"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"S. Cavalieri, A. D. Stefano, O. Mirabella: Optimization of acyclic bandwidth allocation exploiting the priority mechanism in the Fieldbus data link layer, IEEE Trans. on Indust. Elect. Vol. 40, NO. 3, June 1993.","DOI":"10.1109\/41.232209"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"A. Di Stefano and O. Mirabella: Evaluating the Fieldbus data link layer by a Petri Net-based simulation, IEEE Trans. on Industrial Electronics, Vol. 38, No. 4, Aug. 1991.","DOI":"10.1109\/41.84023"},{"key":"4_CR12","unstructured":"Interoperable System Project Foundation: Draft For Review, Data Link Layer Specification, 92-29-01-Rev. 2.0."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"G. Juanole and Y. Atamna: Modeling communications in the FIP (Factory Instrumentation Protocol) with the stochastic timed petri model, Proc. of ETFA'92, pp.336\u2013341, Melbourne, Australia.","DOI":"10.1109\/ETFA.1992.683276"},{"key":"4_CR14","unstructured":"P. Huber and V. O. Pinci: A formal executable specification of the ISDN basic rate interface, in the proceedings of the 12th international conference on applications and tools of Petri Nets, Aarhus, Denmark, June 1991."},{"key":"4_CR15","unstructured":"S. Christensen, L. O. Jepson: Modeling and simulation of a network management system using hierarchical colored Petri nets, Proc. of 1991 Europ. Simulation Multiconference, Copenhagen 1991, Society of Computer Simulation 1991, pp.47\u201352."},{"key":"4_CR16","unstructured":"I. F. Akyildiz, G. Chiola, D. Kofman and H. Korezlioglu: Stochastic Petri Net Modeling of the FDDI Network Protocol, in Protocol Specification, Testing and Verification, XI, Elsevier Science Publishers B.V. (North Holland) 1991 IFIP."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"S. Christodoulou, M. Zhou: A Petri Net Approach to Modeling and Performance Analysis of Fiber Data Distributed Interface (FDDI) Network, in proc of the 1994 IEEE Symposium on Emerging Technologies and Factory Automation, pp. 373\u2013380.","DOI":"10.1109\/ETFA.1994.401987"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"H. Clausen and P. R. Jensen: Validation and Performance Analysis of Network Algorithms by Coloured Petri Nets, In Petri Nets and Performance Models, Proc. of the 5th International Workshop, Toulouse, France 1993, IEEE Computer Society Press, 280\u2013289.","DOI":"10.1109\/PNPM.1993.393443"},{"key":"4_CR19","unstructured":"H. Clausen and P. R. Jensen: Analysis of Usage Parameter Control Algorithms for ATM Networks, In S. Tohme and A. Casaca (eds.): Broadband Communications, II (C-24), Elsevier Science Publishers 1994."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"D. J. Floreani, J. Billington, A. Dadej: Designing and verification a communication gateway using colored petri nets and design\/CPN, 17th International Conf. on Application and Theory of Petri Nets, Lecture Notes on Computer Science, pp. 153\u2013171, Osaka, June 1996.","DOI":"10.1007\/3-540-61363-3_9"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"J. B. Jorgensen, K. H. Mortensen: Modeling and analysis of distributed program execution in BETA using colored petri nets, 17th International Conf. on Application and Theory of Petri Nets, Lecture Notes on Computer Science, pp. 249\u2013268, Osaka, June 1996.","DOI":"10.1007\/3-540-61363-3_14"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"G. Ciardo, L. Cherkasova, V. Kotov, T. Rokicki: Modeling a scalable high-speed interconnect with stochastic Petri nets, in Proc. of the Sixth International Work-shop on Petri Nets and Performance Models, Durham, North Carolina, USA, Oct. 3\u20136, 1995.","DOI":"10.1109\/PNPM.1995.524318"},{"key":"4_CR23","unstructured":"K. Jensen: Colored Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Vol. 1 and Vol. 2, Springer-Verlag 1992, 1994."},{"key":"4_CR24","series-title":"LNCS","first-page":"313","volume-title":"Hierarchies in Coloured Petri Nets, Advances in Petri Nets 1990","author":"P. Huber","year":"1990","unstructured":"P. Huber, K. Jensen and R. M. Shapiro: Hierarchies in Coloured Petri Nets, Advances in Petri Nets 1990, LNCS, Vol. 483, Springer, Berlin Heidelberg New York 1990, pp. 313\u2013341."},{"key":"4_CR25","unstructured":"K. Jensen, S. Christensen, P. Huber, M. Holla Design\/CPN. A reference Manual, Computer Science Department, University of Aahrus, 1996."},{"key":"4_CR26","unstructured":"J. Toksvig: Tool support for place flow analysis of Hierarchical CP-nets version 2.0, Technical report, Computer Science Department, University of Aahrus, 1993."}],"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\/BFb0097774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T04:25:15Z","timestamp":1736655915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0097774"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540658702","9783540489115"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0097774","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}