{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T10:44:01Z","timestamp":1649069041640},"reference-count":14,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"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":["Journal of Systems and Software"],"published-print":{"date-parts":[[1999,4]]},"DOI":"10.1016\/s0164-1212(98)10087-0","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T02:09:52Z","timestamp":1049508592000},"page":"41-58","source":"Crossref","is-referenced-by-count":7,"title":["R-nets for the performance evaluation of hard real-time systems"],"prefix":"10.1016","volume":"46","author":[{"given":"Samir M.","family":"Koriem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(98)10087-0_BIB1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0743-7315(92)90005-8","article-title":"S-nets: a Peti net based model for performance evaluation of real-time scheduling algorithms","volume":"15","author":"Balaji","year":"1992","journal-title":"Journal of Parallel and Distributed Computing"},{"issue":"3","key":"10.1016\/S0164-1212(98)10087-0_BIB2","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","article-title":"Modeling and verification of time dependent systems using time Petri nets","volume":"17","author":"Berthomieu","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"10","key":"10.1016\/S0164-1212(98)10087-0_BIB3","doi-asserted-by":"crossref","first-page":"1076","DOI":"10.1109\/32.99195","article-title":"Task response time for real-time distributed systems with resource contentions","volume":"17","author":"Chu","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/S0164-1212(98)10087-0_BIB4","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0140-3664(90)90174-F","article-title":"Performance analysis of timed Petri net models for communication protocols: a methodology and a package","volume":"13","author":"El-Karaksy","year":"1990","journal-title":"Computer Communication"},{"issue":"2","key":"10.1016\/S0164-1212(98)10087-0_BIB5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/32.265634","article-title":"Proving properties of real-time systems through logical specifications and Petri net models","volume":"20","author":"Felder","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"10.1016\/S0164-1212(98)10087-0_BIB6","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1109\/TSE.1987.233141","article-title":"A generalized timed Petri net model for performance analysis","volume":"12","author":"Holliday","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(98)10087-0_BIB7","doi-asserted-by":"crossref","unstructured":"Narahari, Y., Viswanadham, N. 1987. Performance modeling of a fault-tolerant real-time multiprocessor using stochastic Petri nets. In: Proceedings of the Workshop on Reliability and Fault-Tolerance Issues in Real-Time Systems. Indian Academy of Sciences Press, pp. 187\u2013208","DOI":"10.1007\/BF02811318"},{"issue":"4","key":"10.1016\/S0164-1212(98)10087-0_BIB8","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1109\/TC.1987.1676931","article-title":"Modeling of concurrent task execution in a distributed system for real-time control","volume":"36","author":"Peng","year":"1987","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/S0164-1212(98)10087-0_BIB9","unstructured":"Trivedi, K. 1982. Probability and Statistics with Reliability, Queuing and Computer Science Applications. Prentice-Hall, Englewood Cliffs, NJ"},{"issue":"1","key":"10.1016\/S0164-1212(98)10087-0_BIB10","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/32.341845","article-title":"Timing constraint Petri nets and their application to scheduleability analysis of real-time system specifications","volume":"21","author":"Tsai","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(98)10087-0_BIB11","unstructured":"William, J.S. 1994. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton, NJ"},{"issue":"9","key":"10.1016\/S0164-1212(98)10087-0_BIB12","doi-asserted-by":"crossref","first-page":"1282","DOI":"10.1109\/21.310513","article-title":"A Petri net model for temporal knowledge representation and reasoning","volume":"24","author":"Yao","year":"1994","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"issue":"4","key":"10.1016\/S0164-1212(98)10087-0_BIB13","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/0026-2714(91)90007-T","article-title":"Timed Petri nets definitions, properties and applications","volume":"31","author":"Zuberek","year":"1991","journal-title":"Microelectronics and Reliability"},{"key":"10.1016\/S0164-1212(98)10087-0_BIB14","doi-asserted-by":"crossref","unstructured":"Zuberek, W.M., Kubiak, W. 1994. Throughput analysis of manufacturing cells using timed Petri nets. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, pp. 1328\u20131333","DOI":"10.1109\/ICSMC.1994.400029"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121298100870?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121298100870?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T21:39:15Z","timestamp":1580247555000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121298100870"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,4]]}},"alternative-id":["S0164121298100870"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(98)10087-0","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1999,4]]}}}