{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:35:28Z","timestamp":1743111328333,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540182948"},{"type":"electronic","value":"9783642456282"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-45628-2_20","type":"book-chapter","created":{"date-parts":[[2012,3,5]],"date-time":"2012-03-05T21:25:11Z","timestamp":1330982711000},"page":"224-234","source":"Crossref","is-referenced-by-count":0,"title":["Modelling Interrupt Based Interprocessor Communication by Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Risse","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","first-page":"10","volume-title":"AT-TEMPTO: a Fault-Tolerant Multiprocessor Working Station; Design and Concepts","author":"E Ammann","year":"1983","unstructured":"Ammann, E., Brause, R., Dal Cin, M., Dilger, E., Lutz, J., Risse, Th.: AT-TEMPTO: a Fault-Tolerant Multiprocessor Working Station; Design and Concepts; FTCS-13, Milano, IEEE New York 1983, pp 10\u201313."},{"key":"20_CR2","unstructured":"Berthomieu, B., Menasche, M.: A State Enumeration Approach for Analyzing Time Petri Nets; 3rd European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27\u201330, 1982."},{"key":"20_CR3","unstructured":"Bolognesi, T., Rudin, H.: On the Analysis of Time-dependent Protocols by Network-Flow Algorithms; Proc. 4nd Int. Workshop on Protocol Specification, Testing and Verification, North Holland, 1984."},{"key":"20_CR4","first-page":"328","volume-title":"Microcomputing II, Tagung III\/83 des german chapter of the ACM","author":"R Brause","year":"1983","unstructured":"Brause, R., Ammann, E., Dal Cin, M., Dilger, E., Lutz, J., Risse, Th.: Software-Konzepte des fehlertoleranten Arbeitsplatzrechners ATTEMPTO; in W. Remmele, H. Schecher (Hrsg.): Microcomputing II, Tagung III\/83 des german chapter of the ACM, Teubner Stuttgart 1983, pp 328\u2013341."},{"key":"20_CR5","unstructured":"Brinksma, E.: LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour; ISO\/TC97\/SC21 N, July 1986."},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"2497","DOI":"10.1109\/TCOM.1982.1095452","volume":"12","author":"G Barthelot","year":"1982","unstructured":"Barthelot, G., Terrat, R.: Petri Nets Theory for the Correctness of Protocols; IEEE Trans. on Communications, Vol. COM-30, No. 12, Dec. 1982, pp 2497\u20132505.","journal-title":"IEEE Trans. on Communications"},{"key":"20_CR7","unstructured":"Dal Cin, M., Florian, F.H.: Analysis of a Fault-Tolerant Distributed Diagnosis Algorithm; FTCS-15, Ann Arbor 1985, pp 159-164."},{"key":"20_CR8","unstructured":"Diaz, M.: Modeling and Analysis of Communication and Cooperation Protocols using Petri Net based Models; Proc. 2nd Int. Workshop on Protocol Specification, Testing and Verification, North Holland, 1982."},{"key":"20_CR9","unstructured":"Frison, S.G., Wensley, J.H.: Interactive Consistency and its Impact on the Design of TMR Systems; FTCS-12, IEEE 82CH1760-8, 1982."},{"key":"20_CR10","unstructured":"International Workshop on Timed Petri Nets, Torino, July 1985, IEEE Order Number 674."},{"issue":"9","key":"20_CR11","doi-asserted-by":"crossref","first-page":"895","DOI":"10.1145\/6592.6598","volume":"29","author":"MD Janssens","year":"1986","unstructured":"Janssens, M.D., Annot, J.K., van de Goor, A.J.: Adapting UNIX for a Multiprocessor Environment; CACM, Sept 1986, Vol 29, No 9, pp 895\u2013901.","journal-title":"CACM"},{"key":"20_CR12","unstructured":"Menasche, M.: PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets; in \/IWTPN\/ pp 162-169."},{"key":"20_CR13","volume-title":"A Study of the Recoverability of Computer Systems","author":"P Merlin","year":"1974","unstructured":"Merlin, P.: A Study of the Recoverability of Computer Systems; PhD. Thesis, Computer Science University of CA, Irvine 1974."},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"1671","DOI":"10.1109\/TCOM.1979.1094323","volume":"11","author":"PM Merlin","year":"1979","unstructured":"Merlin, P.M.: Specification and Validation of Protocols; IEEE Trans, on Communications, Vol. COM-27, No.11, Nov. 1979, pp 1671\u20131680.","journal-title":"IEEE Trans, on Communications"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems; SLNCS 92, Springer 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"20_CR16","unstructured":"Natkin, S.: Timed and Stochastic Petri Nets: from the Validation to the Performance of Synchronizing Schemes; in \/IWTPN\/ pp 2-3."},{"key":"20_CR17","unstructured":"Peterson, J.L.: Petri Nets and the Modeling of Systems; Prentice-Hall, 1981."},{"key":"20_CR18","unstructured":"Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Petri Nets; PhD. Thesis, MIT, July 1973."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Risse, Th., Brause, R., Dal Cin, M., Dilger, E., Lutz, J.: Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz; in Gro\u00dfpietsch, Dal Cin (Hrsg.): Fehlertolerierende Rechensysteme; Informatik Fachberichte Bd. 84, Springer 1984, pp 66-76.","DOI":"10.1007\/978-3-642-69698-5_6"},{"key":"20_CR20","unstructured":"Risse, Th.: Zur Bedeutung der Bearbeitung von Interrupts f\u00fcr die Konsistenz der globalen Daten-Strukturen in ATTEMPTO; Institutsbericht 4\/85, T\u00fcbingen 1985."},{"key":"20_CR21","unstructured":"Risse, Th.: Zur Petri-Netz Modellierung der Interprozessor Kommunikation in ATTEMPTO; Institutsbericht 4\/85, T\u00fcbingen 1985."},{"key":"20_CR22","unstructured":"Razouk, R.R., Phelps, C.V.: Performance Analysis Using Timed Petri Nets; in Y. Yemini, R. Strom, S. Yemini (Eds): Protocol Specification, Testing, and Verification IV, North-Holland 1985, pp 561-576."},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Rudin, H.: Time in Formal Protocol Specification; in Heger et al (Hrsg.): Kommunikation in verteilten Systemen I, Informatik Fachberichte Bd. 95, Springer 1985, pp 575-586.","DOI":"10.1007\/978-3-642-70285-3_35"},{"key":"20_CR24","unstructured":"Sifakis, J.: Use of Petri Nets for Performance Evaluation in Measuring, Modelling and Evaluating Computer Systems; North Holland, 1977, pp 75-93."}],"container-title":["Informatik-Fachberichte","Fehlertolerierende Rechensysteme \/ Fault-Tolerant Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45628-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T23:42:22Z","timestamp":1675208542000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-45628-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540182948","9783642456282"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45628-2_20","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}