{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:14Z","timestamp":1761487934361},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540002666"},{"type":"electronic","value":"9783540362357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36235-5_2","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T14:34:22Z","timestamp":1192890862000},"page":"16-28","source":"Crossref","is-referenced-by-count":9,"title":["A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Luis","family":"Garrido","sequence":"first","affiliation":[]},{"given":"Miguel","family":"Gea","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s101110050020","volume":"1","author":"H. Artman","year":"1999","unstructured":"Artman, H., Waern, Y.: Distributed Cognition in an Emergency Co-ordination Center. Cognition, Technology and Work, 1 (1999) 237\u2013246","journal-title":"Cognition, Technology and Work"},{"key":"2_CR2","unstructured":"Dix, A.: \u201cFormal Methods for Interactive Systems\u201d. Academic Press (1991)"},{"key":"2_CR3","unstructured":"Ehrlich, K.: Designing Groupware Applications: A Work-Centered Design Approach. In: Beaudouin-Lafon, M. (ed.): Computer Supported Cooperative Work. Wiley (1999) 1\u201328"},{"key":"2_CR4","unstructured":"Eshuis, R., Wieringa, R.: A Comparison of Petri Net and Activity Diagram Variants. In: Weber, Ehrig, Reisig (eds.): Proc. 2nd. International Colloquium on Petri Net Technologies for Modelling Communication Based Systems (September 2001) 93\u2013104"},{"key":"2_CR5","series-title":"Lect Notes Comput Sci","volume-title":"An Execution Algorithm for UML Activity Graphs","author":"R. Eshuis","year":"2001","unstructured":"Eshuis, R., Wieringa, R.: An Execution Algorithm for UML Activity Graphs. In Proc. UML\u20192001. LNCS 2185, Springer (October 2001)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/99977.99987","volume":"34","author":"C.A. Ellis","year":"1991","unstructured":"Ellis, C.A., Gibbs, S.J., & Rein, G.L.: Groupware: some issues and experiences. Communications of the ACM, Vol. 34, No. 1 (January 1991) 38\u201358","journal-title":"Communications of the ACM"},{"key":"2_CR7","first-page":"399","volume-title":"Designing Cooperative Systems-The Use of Theories and Models","author":"J.L. Garrido","year":"2000","unstructured":"Garrido, J.L., Gea, M., Guti\u00e9rrez, F.L., Padilla, N.: Designing Cooperative Systems for Human Collaboration. In: Dieng, R., Giboin, A., Karsenty, L., De Michelis, G. (eds.): Designing Cooperative Systems-The Use of Theories and Models. IOS Press-Ohmsha (2000) 399\u2013412"},{"key":"2_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-45522-1_8","volume-title":"Interactive Systems-Design, Specification and Verification","author":"J.L. Garrido","year":"2001","unstructured":"Garrido, J.L., Gea, M.: Modelling Dynamic Group Behaviours. In: Johnson, C. (ed.): Interactive Systems-Design, Specification and Verification. LNCS 2220. Springer (2001) 128\u2013143"},{"key":"2_CR9","unstructured":"Garrido, J.L., Gea, M., Padilla, N., Ca\u00f1as, J.J., Waern, Y.: AMENITIES: Modelado de Entornos Cooperativos. In: Aedo, I., D\u00edaz, P., Fern\u00e1ndez, C. (eds.): Actas del III Congreso Internacional Interacci\u00f3n Persona-Ordenador 2002 (Interacci\u00f3n\u201902), Madrid, Spain (Mayo 2002) 97\u2013104"},{"key":"2_CR10","unstructured":"Gehrke, T., Goltz, U., Wehrheim, H.: The dynamic models of UML: Toward a semantics and its application in the development process. Hildesheimer Informatik-Bericht 11\/98, Institut fur Informatik, Universitat Hildesheimer (1998)"},{"key":"2_CR11","unstructured":"Gogolla, M., Presicce, F.P.: State Diagrams in UML: A Formal Semantics using Graph Transformations. In Proceeding ICSE\u201998-Workshop on Precise Semantics of Modeling Techniques (PSMT\u201998) 55\u201372"},{"key":"2_CR12","first-page":"97","volume-title":"Readings in Groupware and Computer Supported Cooperative Work","author":"J. Grudin","year":"1993","unstructured":"Grudin, J.: Groupware and Cooperative Work: Problems and Prospects. Reprinted in Baecker, R.M. (ed.) Readings in Groupware and Computer Supported Cooperative Work, San Mateo, CA, Morgan Kaufman Publishers (1993) 97\u2013105"},{"key":"2_CR13","unstructured":"Harrison, M., Thimbleby, H. (eds.): Formal Methods in Human-Computer Interaction. Cambridge University Press (1990)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use. Second Edition Springer(1996)","DOI":"10.1007\/978-3-662-03241-1"},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0923-8433(96)80005-0","volume-title":"The Design of Computer Supported Cooperative Work and Groupware System","author":"B. Jordan","year":"1996","unstructured":"Jordan, B.: Ethnographic Workplace Studies and CSCW. In: Shapiro, D., Tauber, M.J., Traunmueller, R. (eds.): The Design of Computer Supported Cooperative Work and Groupware System. North-Holland, Amsterdam (1996) 17\u201342"},{"key":"2_CR16","unstructured":"King, P., Pooley, R.: Using UML to Derive Stochastic Petri Net Models. In N. Davies and J. Bradley, editors. UKPEW\u2019 99, Proceedings of the Fifteenth UK Performance EngineeringWorkshop, Department of Computer Science, The University of Bristol (July 1999) 45\u201356."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Malone, T.W., Crowston, K.: What is Coordination Theory and How Can It Help Design Cooperative Work Systems. Proceedings of the Conference on Computer Supported Cooperative Work (CSCW\u201990). ACM Press, New York (1990) 357\u2013370","DOI":"10.1145\/99332.99367"},{"key":"2_CR18","unstructured":"McGrath, J.: Time, Interaction and Performance: a theory of groups. In Readings in Groupware and Computer-Supported Cooperative Work. R. Baecker (ed). Morgan Kaufman (1993)"},{"volume-title":"Context and Consciousness: Activity Theory and Human Computer Interaction","year":"1995","key":"2_CR19","unstructured":"Nardi, B. (ed): Context and Consciousness: Activity Theory and Human Computer Interaction. MIT Press, Cambridge MA (1995)"},{"key":"2_CR20","unstructured":"OMG: Unified Modelling Language Specification. http:\/\/www.omg.org (September 2001)"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0953-5438(97)00013-1","volume":"9","author":"P. Palanque","year":"1997","unstructured":"Palanque, P., Bastide, R.: Synergistic modelling of task, users and systems using formal specification techniques. Interacting with Computers 9 (1997) 129\u2013153","journal-title":"Interacting with Computers"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Patern\u00f2, F.: Model-based Design and Evaluation of Interactive Applications. Springer-Verlag (2000)","DOI":"10.1007\/978-1-4471-0445-2"},{"key":"2_CR23","unstructured":"Pettit, R.G., Gomaa, H.: Validation of Dynamic Behavior in UML Using Colored Petri Nets. UML\u20192000 WORKSHOP. Dynamic Behaviour in UML Models: Semantic Questions. On Line Proceedings (2000) http:\/\/www.disi.unige.it\/person\/ReggioG\/UMLWORKSHOP\/PROGRAM.html"},{"key":"2_CR24","unstructured":"Pinheiro da Silva, P., Paton, N.W.: User Interface Modelling with UML. In Information Modelling and Knowledge Bases XII. 10th European-Japanese Conference on Infomation Modelling and Knowledge Representation. Saariselka, Finland (May 2000). Kangassalo, H., Joakkola, H., Kawaguchi, E. (Eds.) Amsterdam, IOS Press (2001) 203\u2013217"},{"key":"2_CR25","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language-Reference Manual. Addison-Wesley (1999)"},{"key":"2_CR26","unstructured":"Saldhana, J.A., Shatz, S.M.: UML to Object Petri Net Models: An approach for Modeling and Analysis. In Procceding of Twelfth International Conference on Software Engineering and Knowledge Engineering (SEKE2000)"},{"key":"2_CR27","unstructured":"Terveen, L.G.: An Overview of Human-Computer Collaboration. In Knolowledge-Based Systems Journal, Special Issue on Human-Computer Collaboration (1995) 67\u201381"},{"key":"2_CR28","unstructured":"TUPIS'00: Towards a UML Profile for Interactive Systems Development.Workshop of UML\u20192000. http:\/\/math.uma.pt\/tupis00\/"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"van der Veer, G.C., van Welie, M.: Task Based Groupware Design: Putting theory into practice. In Proc. of Symposium on Designing Interactive Systems (DIS\u20192000) New York (August 2000) 326\u2013337","DOI":"10.1145\/347642.347781"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems:Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36235-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:02:53Z","timestamp":1556920973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36235-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540002666","9783540362357"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-36235-5_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}