{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:07Z","timestamp":1725664087788},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:30:58Z","timestamp":1330277458000},"page":"141-160","source":"Crossref","is-referenced-by-count":14,"title":["CAB: An environment for developing concurrent application"],"prefix":"10.1007","author":[{"given":"G.","family":"Bruno","sequence":"first","affiliation":[]},{"given":"R.","family":"Agarwal","sequence":"additional","affiliation":[]},{"given":"A.","family":"Castella","sequence":"additional","affiliation":[]},{"given":"M. P.","family":"Pescarmona","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"10_CR1","volume-title":"Structured development of real-time systems","author":"P. T. Ward","year":"1985","unstructured":"P. T. Ward and S. J. Mellor. Structured development of real-time systems. Yourdon Press, Englewood Cliffs, N.J., 1985."},{"key":"10_CR2","volume-title":"Strategies for real-time system specification","author":"D. Hatley","year":"1987","unstructured":"D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House, New York, 1987."},{"key":"10_CR3","unstructured":"Derek Coleman and David Skov. Analysis and design for concurrent object system. In Proceedings of the 6th International Conference on Software Engineering and its Applications, pages 471\u2013483, November 15\u201319 1993."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Hassan Gomaa. Structuring criteria for real time system design. In Proceedings of the 11th International Conference on Software Engineering, pages 290\u2013301, May 15\u201318 1989.","DOI":"10.1145\/74587.74627"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel et al. Statemate: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng., 16:403\u201314, April 1990.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR6","doi-asserted-by":"crossref","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. IEEE, 77:541\u201380, April 1989.","journal-title":"Proc. IEEE"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-642-84524-6_2","volume-title":"High-level Petri nets: theory and applications","author":"K. Jensen","year":"1991","unstructured":"K. Jensen. Coloured Petri nets: a high level language for system design and analysis. In K. Jensen and G. Rozenberg, editors, High-level Petri nets: theory and applications, pages 44\u2013119. Springer-Verlag, Berlin, 1991."},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"K. Jensen. Coloured Petri nets and the invariant method. Theoretical Computer Science, 14:317\u201336, 1981.","journal-title":"Theoretical Computer Science"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H. J. Genrich","year":"1981","unstructured":"H. J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. Theoretical Computer Science, 13:109\u201336, 1981.","journal-title":"Theoretical Computer Science"},{"key":"10_CR10","unstructured":"C. Ramchandani. Analysis of Asynchronous Concurrent Systems by timed Petri Nets. PhD thesis, MIT, February 1974."},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TSE.1986.6312948","volume":"12","author":"G. Bruno","year":"1986","unstructured":"G. Bruno and G. Marchetto. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. Softw. Eng., 12:346\u201357, February 1986.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0096-0551(91)90016-3","volume":"16","author":"M. Baldassari","year":"1991","unstructured":"M. Baldassari and G. Bruno. PROTOB: an object oriented methodology for developing discrete event dynamic systems. Comp. Lang., 16:39\u201363, January 1991.","journal-title":"Comp. Lang."},{"key":"10_CR13","volume-title":"Model-based software engineering","author":"G. Bruno","year":"1994","unstructured":"G. Bruno. Model-based software engineering. Chapman & Hall, London, 1994."},{"volume-title":"High-level Petri nets: theory and applications","year":"1991","key":"10_CR14","unstructured":"K. Jensen and G. Rozenberg, editors. High-level Petri nets: theory and applications. Springer-Verlag, Berlin, 1991."},{"key":"10_CR15","volume-title":"Object-oriented programming","author":"B. J. Cox","year":"1986","unstructured":"B. J. Cox. Object-oriented programming. Addison-Wesley, Reading, MA, 1986."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:10Z","timestamp":1605648490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}