{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:49:42Z","timestamp":1725724182969},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642382086"},{"type":"electronic","value":"9783642382093"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38209-3_8","type":"book-chapter","created":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T13:28:25Z","timestamp":1367328505000},"page":"126-137","source":"Crossref","is-referenced-by-count":1,"title":["Guidelines for Modelling Reactive Systems with Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Madalena","family":"Gon\u00e7alves","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o M.","family":"Fernandes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Coad, P., Yourdon, E.: Object-oriented analysis, 2nd edn. Yourdon Press (1990)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-3-540-27755-2_12","volume-title":"ACPN 2003","author":"G. Denaro","year":"2004","unstructured":"Denaro, G., Pezz\u00e9, M.: Petri nets and software engineering. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, pp. 439\u2013466. Springer, Heidelberg (2004)"},{"key":"8_CR3","unstructured":"Douglass, B.P.: Real-time UML: Developing efficient objects for embedded systems. Addison-Wesley (2000)"},{"key":"8_CR4","unstructured":"Elkoutbi, M., Keller, R.K.: Modeling interactive systems with hierarchical colored Petri nets. In: Proceedings of the 1998 Advanced Simulation Technologies Conference, pp. 432\u2013437 (1997)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Fernandes, J.M., J\u00f8rgensen, J.B., Tjell, S., Baek, J.: Requirements engineering for reactive systems: Coloured petri nets for an elevator controller. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 294\u2013301. IEEE Computer Society (2007), doi:10.1007\/s11334-009-0075-6","DOI":"10.1007\/s11334-009-0075-6"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Fernandes, J.M., Tjell, S., J\u00f8rgensen, J.B., Ribeiro, O.: Designing tool support for translating use cases and UML\u00a02.0 sequence diagrams into a coloured Petri net. In: Proceedings of the 6th International Workshop on Scenarios and State Machines (SCESM 2007). IEEE Computer Society Press (2007), doi:10.1109\/SCESM.2007.1","DOI":"10.1109\/SCESM.2007.1"},{"key":"8_CR7","unstructured":"Girault, C., Valk, R.: Petri nets for system engineering: A guide to modeling, verification, and applications. Springer (2001)"},{"key":"8_CR8","unstructured":"Harel, D., Politi, M.: Modeling reactive systems with Statecharts: The Statemate approach, 1st edn. McGraw-Hill (1998)"},{"key":"8_CR9","unstructured":"Jackson, M.: Problem frames analyzing and structuring software development problems. Addison-Wesley (2001)"},{"key":"8_CR10","unstructured":"Jensen, K.: Coloured Petri nets basic concepts, analysis methods and practical use. Monographs in Theoretical Computer Science, vol.\u00a01. Springer (1992)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri nets: Modelling and validation of concurrent systems. Springer (2009)","DOI":"10.1007\/b95112"},{"issue":"3-4","key":"8_CR12","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Software Tools for Technology Transfer\u00a09(3-4), 213\u2013254 (2007), doi:10.1007\/s10009-007-0038-x","journal-title":"Software Tools for Technology Transfer"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/s11334-009-0075-6","volume":"5","author":"J.B. J\u00f8rgensen","year":"2009","unstructured":"J\u00f8rgensen, J.B., Tjell, S., Fernandes, J.M.: Formal requirements modelling with executable use cases and coloured Petri nets. Innovations in Systems and Software Engineering\u00a05(1), 13\u201325 (2009), doi:10.1007\/s11334-009-0075-6","journal-title":"Innovations in Systems and Software Engineering"},{"key":"8_CR14","unstructured":"Saldhana, J.A., Shatz, S.M.: UML Diagrams to object Petri net models: An approach for modeling and analysis. In: Proceedings of the International Conference on Software Engineering & Knowledge Engineering (SEKE 2000), pp. 103\u2013110 (2000)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Silva, J.L., Campos, J.C., Harrison, M.D.: An infrastructure for experience centered agile prototyping of ambient intelligence. In: Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2009), pp. 79\u201384. ACM (2009), doi:10.1145\/1570433.1570450","DOI":"10.1145\/1570433.1570450"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Silva, J.L., Ribeiro, O.R., Fernandes, J.M., Campos, J.C., Harrison, M.D.: The APEX framework: Prototyping of ubiquitous environments based on Petri nets. In: Proceedings of the 3rd International Conference on Human-Centred Software Engineering (HCSE\u00a02010), pp. 6\u201321. Springer (2010), doi:10.1007\/978-3-642-16488-0_2","DOI":"10.1007\/978-3-642-16488-0_2"},{"key":"8_CR17","unstructured":"Ward, P.T., Mellor, S.J.: Structured development for real-time systems. Essential modeling techniques, vol.\u00a0II. Pearson Education (1986)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Wieringa, R.J.: Design methods for reactive systems - Yourdon, Statemate, and the UML. Morgan Kaufmann (2003)","DOI":"10.1016\/B978-155860755-2\/50004-6"}],"container-title":["Lecture Notes in Computer Science","Model-Based Methodologies for Pervasive and Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38209-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:41:24Z","timestamp":1558302084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38209-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642382086","9783642382093"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38209-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}