{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T10:07:58Z","timestamp":1754474878231},"reference-count":35,"publisher":"Elsevier","isbn-type":[{"value":"9780080453644","type":"print"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/b978-008045364-4\/50061-7","type":"book-chapter","created":{"date-parts":[[2008,5,2]],"date-time":"2008-05-02T00:03:37Z","timestamp":1209686617000},"page":"150-157","source":"Crossref","is-referenced-by-count":1,"title":["A Model Based on a Stochastic Petri Net Approach for Dependability Evaluation of Controller Area Networks"],"prefix":"10.1016","author":[{"given":"Paulo","family":"Portugal","sequence":"first","affiliation":[]},{"given":"Adriano","family":"Carvalho","sequence":"additional","affiliation":[]},{"given":"Francisco","family":"Vasques","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-008045364-4\/50061-7_bb0010","article-title":"Analysis of the Physical CAN Bus Layer","author":"Barrenscheen","year":"1997"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0015","article-title":"Application of Petri Nest to Communication Networks","volume":"Vol. 1605","author":"Billington","year":"1999"},{"issue":"No. 1","key":"10.1016\/B978-008045364-4\/50061-7_bb0020","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1142\/S0218126698000067","article-title":"Recent Developments in Non-Markovian Stochastic Petri Nets","volume":"Vol. 8","author":"Bobbio","year":"1998","journal-title":"Journal of Systems Circuits and Computers"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0025","series-title":"CAN Specification \u2013 Version 2.0","author":"Bosh","year":"1991"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0030","doi-asserted-by":"crossref","DOI":"10.1109\/REAL.2002.1181581","article-title":"Probabilistic Analysis of CAN with Faults","author":"Broster","year":"2002"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0035","doi-asserted-by":"crossref","DOI":"10.1109\/EMRTS.2004.1310997","article-title":"Comparing Real-Time Communication under Electromagnetic Interference","author":"Broster","year":"2004"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0040","article-title":"Performance of the Error Detection Mechanisms in CAN","author":"Charzinski","year":"1994"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0045","article-title":"An Experiment to Assess Bit Error Rate in CAN","author":"Ferreira","year":"2004"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0050","article-title":"Fault Confinement Mechanisms on CAN: Analysis and Improvements","author":"Gaujal","year":"2001"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0055","series-title":"Performance Analysis of Communication Systems \u2013 Modeling with Non-Markovian Stochastic Petri Nets","author":"German","year":"2000"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0060","series-title":"Stochastic Petri Nets: Modelling, Stability, Simulation","author":"Haas","year":"2002"},{"issue":"No. 6","key":"10.1016\/B978-008045364-4\/50061-7_bb0065","doi-asserted-by":"crossref","first-page":"1240","DOI":"10.1109\/TIE.2002.804970","article-title":"Integrating Reliability and Timming Analysis of CAN-Based Systems","volume":"Vol. 49","author":"Hansson","year":"2002","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0070","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0166-5316(94)00038-7","article-title":"Performability Modelling Tools and Techniques","volume":"Vol. 25","author":"Haverkort","year":"1996","journal-title":"Performance Evaluation"},{"issue":"No. 2","key":"10.1016\/B978-008045364-4\/50061-7_bb0075","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1109\/87.294334","article-title":"On the Maximum Feedback Delay in a Linear\/Nonlinear Control System with Input Disturbances Caused by Controller-Computer Failures","volume":"Vol. 2","author":"Kim","year":"1994","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0080","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1109\/87.826806","article-title":"Effects of Electromagnetic Interference on Controller-Computer Upsets and System Stability","volume":"Vol. 8","author":"Kim","year":"2000","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0085","series-title":"Performance Modelling with Deterministic and Stochastic Petri Nets","author":"Lindemann","year":"1998"},{"issue":"No. 4","key":"10.1016\/B978-008045364-4\/50061-7_bb0090","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1080\/15326349308807278","article-title":"Selecting and Implementing Phase Approximations for Semi-Markov Models","volume":"Vol. 9","author":"Malhorta","year":"1993","journal-title":"Stochastic Models"},{"issue":"No. 3","key":"10.1016\/B978-008045364-4\/50061-7_bb0095","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1109\/24.406578","article-title":"Dependability Modeling Using Petri-Nets","volume":"Vol. 44","author":"Malhotra","year":"1995","journal-title":"IEEE Transactions on Reliability"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0100","series-title":"Petri Nets in Performance Analysis: An Introduction, Advanced Course in Petri Nets","author":"Marsan","year":"1996"},{"issue":"No. 4","key":"10.1016\/B978-008045364-4\/50061-7_bb0105","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri Nets: Properties, Analysis and Applications","volume":"Vol. 77","author":"Murata","year":"1989","journal-title":"Proceedings of the IEEE"},{"issue":"No. 1","key":"10.1016\/B978-008045364-4\/50061-7_bb0110","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1016\/S1383-7621(99)00016-8","article-title":"Worst-Case Deadline Failure Probability in Real-Time Applications Distributed over Controller Area Network","volume":"Vol. 46","author":"Navet","year":"2000","journal-title":"Journal of Systems Architecture"},{"issue":"No. 6","key":"10.1016\/B978-008045364-4\/50061-7_bb0115","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/JPROC.2005.849725","article-title":"Trends in Automotive Communication Systems","volume":"Vol. 93","author":"Navet","year":"2005","journal-title":"Proceedings of IEEE"},{"issue":"No. 3","key":"10.1016\/B978-008045364-4\/50061-7_bb0120","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1109\/24.974122","article-title":"Techniques for Fast Simulation of Models of Highly Dependable Systems","volume":"Vol. 50","author":"Nicola","year":"2001","journal-title":"IEEE Transactions on Reliability"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0125","doi-asserted-by":"crossref","DOI":"10.1109\/WFCS.2000.882537","article-title":"Integrating Inaccessibility in Response Time Analysis of CAN Networks","author":"Pinho","year":"2000"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0130","doi-asserted-by":"crossref","DOI":"10.1109\/RTTAS.2000.852470","article-title":"Response Time Analysis under Errors for CAN","author":"Punnekkat","year":"2000"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0135","article-title":"A Study on the Inaccessibility Characteristics of the Controller Area Network","author":"Rufino","year":"1995"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0140","doi-asserted-by":"crossref","DOI":"10.1109\/FTCS.1998.689464","article-title":"Fault-Tolerant Broadcasts in CAN","author":"Rufino","year":"1998"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0145","doi-asserted-by":"crossref","DOI":"10.1109\/FTCS.1999.781063","article-title":"A Columbus Egg Idea for CAN Media Redundancy","author":"Rufino","year":"1999"},{"issue":"No. 6","key":"10.1016\/B978-008045364-4\/50061-7_bb0150","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.1109\/21.199465","article-title":"Derivation and Application of Hard Dead-lines for Real-Time Control Systems","volume":"Vol. 22","author":"Shin","year":"1992","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"issue":"No. 8","key":"10.1016\/B978-008045364-4\/50061-7_bb0155","doi-asserted-by":"crossref","first-page":"1163","DOI":"10.1016\/0967-0661(95)00112-8","article-title":"Calculating Controller Area Network (CAN) Message Response Times","volume":"Vol. 3","author":"Tindell","year":"1995","journal-title":"Control Engineering Practice"},{"issue":"No. 6","key":"10.1016\/B978-008045364-4\/50061-7_bb0160","doi-asserted-by":"crossref","first-page":"1073","DOI":"10.1109\/JPROC.2005.849724","article-title":"Fieldbus Technology in Industrial Automation","volume":"Vol. 93","author":"Thomesse","year":"2005","journal-title":"Proceedings of IEEE"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0165","series-title":"Technical Report","article-title":"Multi-Bit Error Vulnerabilities in Controller Area Network Protocol","author":"Tran","year":"1999"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0170","series-title":"Probability and Statistics with Reliability, Queuing and Computer Science Applications","author":"Trivedi","year":"2002"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0175","first-page":"96","article-title":"Discrete Deterministic and Stochastic Petri Nets","author":"Zijal","year":"1996"},{"key":"10.1016\/B978-008045364-4\/50061-7_bb0180","series-title":"Time-NET 3.0 Tool Description","author":"Zimmermann","year":"1999"}],"container-title":["Fieldbus Systems and Their Applications 2005"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780080453644500617?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780080453644500617?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T00:58:10Z","timestamp":1557536290000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780080453644500617"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780080453644"],"references-count":35,"URL":"https:\/\/doi.org\/10.1016\/b978-008045364-4\/50061-7","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}