{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T11:56:09Z","timestamp":1773921369408,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540600299","type":"print"},{"value":"9783540494089","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:32:33Z","timestamp":1330277553000},"page":"66-83","source":"Crossref","is-referenced-by-count":22,"title":["A Petri net based environment for the design of event-driven interfaces"],"prefix":"10.1007","author":[{"given":"R\u00e9mi","family":"Bastide","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"6_CR1","unstructured":"Abowd G.D. Agents: Communicating Interactive Processes Proc of INTERACT'90. Elsevier Science (North Holland), p. 143\u2013148"},{"key":"6_CR2","unstructured":"Cameiro L.M.F., Cowan D.D., Lucena C.J.P. ADVcharts: a Graphical Specification for multimodal Interactive Systems \u2014 Abstract Data Views in Perspectives. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993"},{"key":"6_CR3","unstructured":"Bastide R. Palanque P. Theoretical Foundations of recent formal approaches in HCI design. Research Symposium CHT94. Boston, 23\u201330 Avril 1994."},{"key":"6_CR4","unstructured":"Bastide R. Palanque P. Cooperative Objects: a Concurrent Petri Net Based Object-Oriented Language. Proceedings of the IEEE\/System Man and Cybernetics 93 \u201cSystems Engineering in the Service of Humans\u201d, Le Touquet, 17\u201320 October 1993."},{"key":"6_CR5","unstructured":"DeCarolis B., Rosis F. Modelling Adaptive Interaction in OPADE by Petri Nets. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993."},{"key":"6_CR6","unstructured":"Fields B., Harrison M., Wright P. From Natural Language Requirements to Agent-Based Specification: An Aircraft Warning Case Study. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993."},{"issue":"n\u22184","key":"6_CR7","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/27623.27624","volume":"5","author":"R.J.K. Jacob","year":"1986","unstructured":"Jacob R.J.K. A specification language for Direct-Manipulation User Interfaces. ACM Transactions on Graphics, Vol. 5, n\u2218 4, October 1986. p. 283\u2013317.","journal-title":"ACM Transactions on Graphics"},{"issue":"n\u22183","key":"6_CR8","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/964967.801131","volume":"23","author":"D.R. Olsen","year":"1983","unstructured":"Olsen D.R. SYNGRAPH: a graphical User Interface Generator. ACM Computer Graphics Vol. 23, n\u2218 3, July 1983. p. 43\u201350.","journal-title":"ACM Computer Graphics"},{"key":"6_CR9","unstructured":"Palanque P., Bastide R., Sibertin C., Dourte L. Design of User-Driven Interfaces using Petri nets and Objects, In proceedings of 5th Conference on Advanced Information Systems Engineering (CAISE'93). Lecture Notes in Computer Science Nj 685, Springer-Verlag."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Palanque P. Bastide R. Verification of an Interactive Software by Analysis of its Formal Specification. INTERACT'95, Lillehamer, Norway (June 27\u201329, 1995).","DOI":"10.1007\/978-1-5041-2896-4_32"},{"key":"6_CR11","unstructured":"Palanque P, Bastide R. Formal specification of HCI for increasing software's ergonomics. ERGONOMICS'94, Warwick, England, 19\u201322 april 1994."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Palanque P. Bastide R. Petri Net based design of user-driven interfaces using the Interactive Cooperative Objects formalism. EUROGRAPHICS workshop on \u201cdesign, specification and verification of Interactive systems\u201d, Carara, Italiy, 8\u201310 juin 1994.","DOI":"10.1007\/978-3-642-87115-3_23"},{"key":"6_CR13","unstructured":"Palanque P. Bastide R. Automatic Code Generation From a High-Level Petri Net Based Specification of Dialogue. EWHCI'94 (East-West Conference on Human Computer Interaction), St Petersburg, Russia. 2\u20136 August 1994."},{"key":"6_CR14","first-page":"8","volume-title":"Contextual Help for Free with Formal Dialogue Design","author":"P. Palanque","year":"1993","unstructured":"Palanque P. Bastide R. Contextual Help for Free with Formal Dialogue Design. Actes du congres \u201cHCI International 93\u201d, 5th International Conference on Human-Computer Interaction joint with 9th Symposium on Human Interface (Japan), North Holland. Orlando, Floride (USA), 8\u201315 August 1993."},{"key":"6_CR15","unstructured":"Palanque P. Bastide R. Interactive Cooperative Objects: an Object-Oriented Formalism Based on Petri Nets for User Interface Design. Proceedings of the IEEE \/ System Man and Cybernetics 93 \u201cSystems Engineering in the Service of Humans\u201d, Le Touquet, 17\u201320 October 1993."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Pamas D.L. On the use of transition diagrams in the design of a user interface for an interactive computer system. 24 th ACM Conference 1969. p. 379\u2013385.","DOI":"10.1145\/800195.805945"},{"key":"6_CR17","unstructured":"Paterno F., Faconti G. On the Use of LOTOS to Describe Graphical Interaction Proc. of the HCI'92 Conference, p 155\u2013174, BCS Conference Series, Monk, Diaper & Harrison Eds. 1992."},{"key":"6_CR18","unstructured":"Eurographic Seminar, Tutorial and Perspectives in Computer Graphics; User Interface Management Systems; In proceedings of the workshop on UIMS held in Seeheim FRG; November 1983. Edited by G\u00fcnther E. Pfaff. Springer-Verlag 1985."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Pnueli A Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. Lecture Notes in Computer Science n\u2218 224 p.510\u2013584. Springer Verlag 1986.","DOI":"10.1007\/BFb0027047"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Reisig W. Combining Petri Nets and Other Formal Methods. Proceedings of ATPN'92. Lecture Notes in Computer Science n\u2218 616 p.24\u201344. Springer Verlag 1992.","DOI":"10.1007\/3-540-55676-1_2"},{"key":"6_CR21","unstructured":"Rumbaugh J.et.al. W. Object-Oriented Modeling and Design. Prentice-Hall, 1991."},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Sibertin-Blanc C Cooperative nets Proceedings of the 15th International Conference on Application and Theory of Petri nets, LNCS 815, 1994","DOI":"10.1007\/3-540-58152-9_26"},{"key":"6_CR23","unstructured":"Systa K. Specifying User Interfaces in DisCo. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993."},{"issue":"n\u22188","key":"6_CR24","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1109\/TSE.1985.232519","volume":"11","author":"A.I. Wasserman","year":"1985","unstructured":"Wasserman A.I. Extending State \/ Transition Diagrams for the specification on Human-Computer Interaction. IEEE Transaction on Software Engineering Vol. 11, n\u2218 8, August 1985. p. 699\u2013713.","journal-title":"IEEE Transaction on Software Engineering"}],"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_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:51:04Z","timestamp":1742597464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}