{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:59Z","timestamp":1725663299521},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505808"},{"type":"electronic","value":"9783540460596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50580-6_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:27:35Z","timestamp":1330201655000},"page":"1-19","source":"Crossref","is-referenced-by-count":11,"title":["An environment for object-oriented conceptual programming based on PROT nets"],"prefix":"10.1007","author":[{"given":"Marco","family":"Baldassari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Bruno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"1_CR1","first-page":"63","volume-title":"Petri Nets: Applications and relations to Other Models of Concurrency","author":"W. Reisig","year":"1986","unstructured":"W. Reisig. Petri nets for software engineering. In Petri Nets: Applications and relations to Other Models of Concurrency, pages 63\u201396, Springer-Verlag, Berlin, 1986."},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/69610.357982","volume":"27","author":"P. Zave","year":"1984","unstructured":"P. Zave. The operational versus the conventional approach to software development. Comm. of the ACM, 27:104\u2013118, February 1984.","journal-title":"Comm. of the ACM"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/TSE.1986.6312937","volume":"SE-12","author":"G. Booch","year":"1986","unstructured":"G. Booch. Object oriented development. IEEE Trans. on Soft. Eng., SE-12:211\u2013221, February 1986.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"1_CR4","unstructured":"IEEE Computer special issue on visual programming. August 1985."},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MC.1983.1654237","volume":"16","author":"R. Balzer","year":"1983","unstructured":"R. Balzer, T.E. Cheatham, and C. Green. Software technology in the 1990's: using a new paradigm. Computer, 16:39\u201345, November 1983.","journal-title":"Computer"},{"key":"1_CR6","unstructured":"T. De Marco. Structured analysis and system specification. Prentice Hall, 1979."},{"key":"1_CR7","unstructured":"D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House Publishing, 1987."},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/TSE.1982.235254","volume":"SE-8","author":"P. Zave","year":"1982","unstructured":"P. Zave. An operational approach to requirement specification for embedded systems. IEEE Trans. on Soft. Eng., SE-8:250\u2013269, May 1982.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1109\/TSE.1985.232516","volume":"SE-11","author":"V. Berzins","year":"1985","unstructured":"V. Berzins and M. Gray. Analysis and design in MSG.84: formalizing functional specifications. IEEE Trans. on Soft. Eng., SE-11:657\u2013670, August 1985.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"1_CR10","unstructured":"IEEE Software special issue on CASE. March 1988."},{"key":"1_CR11","doi-asserted-by":"crossref","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 Comput. Sci., 14:317\u2013336, 1981.","journal-title":"Theoretical Comput. Sci."},{"key":"1_CR12","doi-asserted-by":"crossref","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 Comput. Sci., 13:109\u2013136, 1981.","journal-title":"Theoretical Comput. Sci."},{"key":"1_CR13","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 Petri nets for the rapid prototyping of process control systems. IEEE Trans. on Soft. Eng., SE-12:346\u2013357, February 1986.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"1_CR14","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/BFb0016225","volume-title":"Advances in Petri nets 1985","author":"G.R. Wheeler","year":"1986","unstructured":"G.R. Wheeler, M.C. Wilbur-Ham, J. Billington, and J.A. Gilmour. Protocol analysis using numerical Petri nets. In Advances in Petri nets 1985, pages 435\u2013452, Springer-Verlag, Berlin, 1986."},{"key":"1_CR15","unstructured":"J.M. Colom, M. Silva, and J.L. Villarroel. On software implementation of Petri nets and coloured Petri nets using high-level concurrent languages. In Proc. Application and Theory of Petri Nets, pages 207\u2013241, Oxford, June 1986."},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1109\/TSE.1983.235118","volume":"SE-9","author":"R.A. Nelson","year":"1983","unstructured":"R.A. Nelson, L.M. Haibt, and P.B. Sheridan. Casting Petri nets into programs. IEEE Trans. on Soft. Eng., SE-9:590\u2013602, September 1983.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"G. Bruno and A. Balsamo. Petri net-based object-oriented modeling of distributed systems. In ACM Conf. on Object-oriented Programming, pages 284\u2013293, Portland Oregon, October 1986.","DOI":"10.1145\/960112.28725"},{"key":"1_CR18","first-page":"327","volume-title":"Extending the entity-relationship approach for dinamic modeling purposes","author":"G. Bruno","year":"1986","unstructured":"G. Bruno and A. Elia. Extending the entity-relationship approach for dinamic modeling purposes. In 5th International Conference On Entity-Relationship Approach, pages 327\u2013339, Dijon, France, November 1986."},{"key":"1_CR19","unstructured":"G. Bruno and A. Elia. Operational specification of process control systems: execution of PROT nets using OPS5. In 10th World IFIP Congress, pages 35\u201340, Dublin, September 1986."},{"key":"1_CR20","unstructured":"L. Brownston, R. Furrell, and E. Kant. Programming expert systems in OPS5. Addison Wesley, 1985."},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/978-3-642-69028-0_18","volume-title":"Informatik-Fachberichte 66: Application and Theory of Petri nets","author":"R. Valette","year":"1983","unstructured":"R. Valette, M. Courvoisier, and D. Mayeux. Control of flexible production systems and Petri nets. In Informatik-Fachberichte 66: Application and Theory of Petri nets, pages 264\u2013277, Springer-Verlag, Berlin, 1983."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"J. Martinez, P. Muro, and M. Silva. Modeling, validation and software implementation of production systems using high level Petri nets. In IEEE Int. Conf. on Robotics and Automation, pages 1180\u20131185, Raleigh NC, March 1987.","DOI":"10.1109\/ROBOT.1987.1087860"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1988"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50580-6_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:28Z","timestamp":1605647908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}