{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:59:28Z","timestamp":1742389168100},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199830"},{"type":"electronic","value":"9781447130802"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-1-4471-3080-2_7","type":"book-chapter","created":{"date-parts":[[2011,11,10]],"date-time":"2011-11-10T06:51:50Z","timestamp":1320907910000},"page":"104-121","source":"Crossref","is-referenced-by-count":2,"title":["Object Oriented Real-Time Database Design and Hierarchical Control Systems"],"prefix":"10.1007","author":[{"given":"Maria L. B.","family":"Perkusich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Perkusich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Schiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/132271.132276","volume":"17","author":"RK Abbot","year":"1992","unstructured":"R. K. Abbot and H. G. Molina. ScheduUing real-time transactions: A performance evaluation. ACM Transactions on Database Systems, 17(3):513\u2013561, September 1992.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR2","unstructured":"H. Alla and P. Ladet. Coloured petri nets: A tool for modelling, validation, and simulation of FMS. In A. Kusak, editor, Flexible Manufacturing Systems: Methods and Studies. Noth-Holland, 1986."},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1109\/32.4651","volume":"SE-14","author":"J Billington","year":"1988","unstructured":"J. Billington, G. R. Wheller, and M. C. Wilburham. PROTEAN: A high-level petri net tool for the specification and verification of communication protocols. IEEE Transactions on Software Engineering, SE-14:301\u2013316, 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR4","volume-title":"Object Oriented Design with Applications","author":"G Booch","year":"1991","unstructured":"G. Booch. Object Oriented Design with Applications. The Benjamin\/Cummings Publishing Company Inc., Redwood City, CA, 1991."},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TSE.1986.6312948","volume":"SE-12","author":"G Bruno","year":"1986","unstructured":"G. Bruno and G. Marchetto. Process-translatable p\u00e9tri nets for the rapid prototyping of process control systems. IEEE Transactions on Software Engineering, SE-12:346\u2013357, 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR6","unstructured":"J. C. A. de Figueiredo, A. Perkusich, and S.K. Chang. Timing analisys of real-time software systems using fuzzy time petri nets. In Proc. of The Sixth International Conference on Software Engineering and Knowledge Engineering, pages 243\u2013253, Riga, Latvia, June 1994."},{"key":"7_CR7","first-page":"206","volume-title":"Application and Theory of Petri Nets","author":"Y Deng","year":"1993","unstructured":"Y. Deng, S. K. Chang, J. C. A. de Figueiredo, and A. Perkusich. Integrating software engineering methods and petri nets for the specification and prototyping of complex software systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 206\u2013223. Springer-Verlag, Chicago, USA, June 1993."},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/BF00365311","volume":"4","author":"MH Graham","year":"1992","unstructured":"M. H. Graham. Issues in real-time data management. The Journal of Real-Time Systems, (4):185\u2013202, 1992.","journal-title":"The Journal of Real-Time Systems"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0164-1212(93)90049-4","volume":"20","author":"YK Lee","year":"1993","unstructured":"Y. K. Lee and S. J. Park. OPNets: An object-oriented high-level Petri net model for real-time system modeling. Journal of Systems and Software, 20:69\u201386, 1993.","journal-title":"Journal of Systems and Software"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"M. Lehman. Program evolution. Information Processing and Management, 20, 1984.","DOI":"10.1016\/0306-4573(84)90037-2"},{"key":"7_CR11","unstructured":"D-T. Levi and A. K. Agrawala. Real-Time System Design. MacGraw-Gill International Editions \u2014 Comuter Series, New York, 1990."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Luqi. Software Evolution Through Rapid Prototyping. IEEE Transactions on Computers, pages 13\u201325, May 1989.","DOI":"10.1109\/2.27953"},{"issue":"4","key":"7_CR13","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"T. Murata. Petri nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541\u2013580, April 1989.","journal-title":"Proc. of the IEEE"},{"issue":"25","key":"7_CR14","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0164-1212(94)90054-X","volume":"2","author":"A Perkusich","year":"1994","unstructured":"A. Perkusich, J. C. A. de Figueiredo, and S.K Chang. Embedding fault-tolerant properties in the design of complex systems. Journal of Systems and Software, 2(25):23\u201337, 1994.","journal-title":"Journal of Systems and Software"},{"key":"7_CR15","unstructured":"K. Ramamrithman. Real-time databases. International Journal of Distributed and Parallel Databases, 1992."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"U. Shiel and I. Mistrik. Using object-oriented analysis and design for integrated systems. In Proc. of the First International Conference on System Integration, 1990.","DOI":"10.1109\/ICSI.1990.138672"},{"key":"7_CR17","unstructured":"R. Valette, M. Corvousier, and C. Desclaux. Putting petri nets to work for controlling flexible manufacturing systems. In Proc. of IEEE International Symposyum on Circuits and Systems, ISCAS 85, Kyoto, Japan, 1985."}],"container-title":["Workshops in Computing","Active and Real-Time Database Systems (ARTDB-95)"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3080-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T10:31:52Z","timestamp":1560940312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3080-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540199830","9781447130802"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3080-2_7","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1996]]}}}