{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T11:56:01Z","timestamp":1773921361291,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"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":[[1993]]},"DOI":"10.1007\/3-540-56777-1_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:31:20Z","timestamp":1330237880000},"page":"569-585","source":"Crossref","is-referenced-by-count":15,"title":["Design of user-driven interfaces using Petri nets and objects"],"prefix":"10.1007","author":[{"given":"Philippe A.","family":"Palanque","sequence":"first","affiliation":[]},{"given":"R\u00e9mi","family":"Bastide","sequence":"additional","affiliation":[]},{"given":"Louis","family":"Dourte","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Sibertin-Blanc","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"8","key":"30_CR1","first-page":"699","volume":"11","author":"A. I. Wassennan","year":"1985","unstructured":"A.I. Wassennan: Extending state\/transition diagrams for the specification of human-computer interaction. IEEE Transactions on Software Engineering 11, 8 (August 1985), 699\u2013713","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR2","unstructured":"P. Pellaumail: Guide d'utilisation d'AXIAL. Tomes 1 et 2. Editions d'organisation, 1986"},{"key":"30_CR3","first-page":"510","volume-title":"Lecture Notes in Computer Science 224","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli: Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. Lecture Notes in Computer Science 224. Springer-Verlag, Berlin, 1986, pp. 510\u2013584"},{"key":"30_CR4","unstructured":"W. Cowan, M. Wein: State versus history in user interfaces. In: D. Diaper et al. (eds.): Human-Computer Interaction \u2014 INTERACT'90. North-Holland, 1990"},{"key":"30_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-70041-5","volume-title":"Proceedings of IFIP\/EG Workshop on User Interface Management Systems (November 1983, Seeheim, FRG)","author":"G. E. Pfaff","year":"1985","unstructured":"G.E. Pfaff (ed.): Proceedings of IFIP\/EG Workshop on User Interface Management Systems (November 1983, Seeheim, FRG). Springer-Verlag, Berlin, 1985"},{"key":"30_CR6","volume-title":"Interfaces homme-ordinateur: Conception et r\u00e9alisation","author":"J. Coutaz","year":"1990","unstructured":"J. Coutaz: Interfaces homme-ordinateur: Conception et r\u00e9alisation. Dunod Informatique, Paris, 1990"},{"key":"30_CR7","volume-title":"Compilers: principles, techniques and tools","author":"A. V. Aho","year":"1986","unstructured":"A.V. Aho, R. Sethi, J.D. Ullman: Compilers: principles, techniques and tools. Addison-Wesley, Reading, Mass., 1986"},{"issue":"3","key":"30_CR8","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/964967.801131","volume":"17","author":"D. R. Olsen","year":"1983","unstructured":"D.R. Olsen: Syngraph: A graphical user interface generator. Computer Graphics 17, 3 (July 1983), 43\u201350","journal-title":"Computer Graphics"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"D. Kieras, G. Polson: A generalized transition network representation for interactive systems. In: Proceedings of CHI'83, Human Factors in Computing Systems. 1983, pp. 103\u2013106","DOI":"10.1145\/800045.801590"},{"issue":"4","key":"30_CR10","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1145\/27623.27624","volume":"5","author":"R. J. K. K. Jacob","year":"1986","unstructured":"R.J.K. Jacob: A specification language for direct-manipulation user interfaces. ACM Transactions on Graphics 5, 4 (October 1986), 283\u2013317","journal-title":"ACM Transactions on Graphics"},{"key":"30_CR11","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/S0020-7373(88)80021-X","volume":"28","author":"W. R. Biljon Van","year":"1988","unstructured":"W.R. Van Biljon: Extending Petri nets for specifying man-machine dialogues. International Journal of Man-Machine Studies 28 (1988), 437\u2013455","journal-title":"International Journal of Man-Machine Studies"},{"key":"30_CR12","unstructured":"M. Zizman: A System for Computerisation of Office Procedures. Ph.D. thesis, Warton School of Management, 1977"},{"key":"30_CR13","series-title":"Lecture Notes in Computer Science 254 & 255","first-page":"171","volume-title":"Petri nets: applications and relationships to other models of concurrency","author":"H. Oberquelle","year":"1986","unstructured":"H. Oberquelle: Human-machine intercation and role\/function\/action-nets. In: W. Brauer, W. Reisig, G. Rosenberg (eds.): Petri nets: applications and relationships to other models of concurrency. Lecture Notes in Computer Science 254 & 255. Springer-Verlag, Berlin, 1986, pp. 171\u2013190"},{"key":"30_CR14","unstructured":"B. Roudaud, V. Lavigne, O. Lagneau, E. Minor: SCENARIOO: A new generation UIMS. In: D. Diaper el al. (eds.): Human-Computer Interaction-INTERACT'90. North-Holland, 1990, pp. 607\u2013612"},{"key":"30_CR15","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"10","key":"30_CR16","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1145\/355598.362773","volume":"13","author":"W. A. Wood","year":"1970","unstructured":"W.A. Wood: Transition network grammars for natural language analysis. Communications of the ACM 13, 10 (October 1970), 591\u2013606","journal-title":"Communications of the ACM"},{"issue":"3","key":"30_CR17","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/24054.24057","volume":"5","author":"M. Green","year":"1986","unstructured":"M. Green: A survey of three dialogue models. ACM Transactions on Graphics 5, 3 (July 1986), 244\u2013275","journal-title":"ACM Transactions on Graphics"},{"key":"30_CR18","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J. L. Peterson","year":"1981","unstructured":"J.L. Peterson: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, N.J., 1981"},{"key":"30_CR19","volume-title":"R\u00e9seaux de Petri: Th\u00e9orie et pratique. Tome 1: th\u00e9orie et analyse; Tome 2: mod\u00e9lisation et applications","author":"G. W. Brains","year":"1983","unstructured":"G.W. Brains: R\u00e9seaux de Petri: Th\u00e9orie et pratique. Tome 1: th\u00e9orie et analyse; Tome 2: mod\u00e9lisation et applications. Masson, Paris, 1983"},{"key":"30_CR20","unstructured":"C. Sibertin-Blanc: High level Petri nets with data structure. In: 6th European Workshop on Petri Nets and Applications (June 1985, Espoo, Finland)"},{"key":"30_CR21","series-title":"Lecture Notes in Computer Science 254 & 255","first-page":"142","volume-title":"Petri nets: applications and relationships to other models of concurrency","author":"K. Lautenbauch","year":"1986","unstructured":"K. Lautenbauch: Linear algebraic techniques for place\/transition nets. In: W. Brauer, W. Reisig, G. Rosenberg (eds.): Petri nets: applications and relationships to other models of concurrency. Lecture Notes in Computer Science 254 & 255. Springer-Verlag, Berlin, 1986, pp. 142\u2013167"},{"key":"30_CR22","volume-title":"Applications and Theory of Petri Nets, Informatik-Fachberichte 66","author":"K. Jensen","year":"1983","unstructured":"K. Jensen: Coloured Petri nets and the invariant method. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte 66. Springer-Verlag, Berlin, 1983"},{"key":"30_CR23","unstructured":"P. Palanque, C. Sibertin-Blanc and R. Bastide: Validation du dialogue par analyse d'une sp\u00e9cification fond\u00e9e sur les r\u00e9seaux de Petri. In Actes IHM'92 Quatri\u00e8mes journ\u00e9es sur l'ing\u00e9nierie des interfaces homme-machine (30 nov., 1 et 2 d\u00e9c. 1992, Paris). Telecom Paris, 1992, pp. 121\u2013127"},{"key":"30_CR24","series-title":"Lecture Notes in Computer Science 254 & 255","first-page":"20","volume-title":"Petri nets: applications and relationships to other models of concurrency","author":"F. Feldbrugge","year":"1986","unstructured":"F. Feldbrugge, K. Jensen: Petri net tools overview. In: W. Brauer, W. Reisig, G. Rosenberg (eds.): Petri nets: applications and relationships to other models of concurrency. Lecture Notes in Computer Science 254 & 255. Springer-Verlag, Berlin, 1986, pp. 20\u201361"},{"key":"30_CR25","unstructured":"P. Palanque, Mod\u00e9lisation par Objets Coop\u00e9ratifs Interactifs d'interfaces hommemachine dirig\u00e9es par l'utilisateur. Th\u00e8se de doctorat de l'Universit\u00e9 Toulouse I (France), 1992"},{"key":"30_CR26","unstructured":"R. Bastide and P. Palanque: Petri nets with objects for the design, validation and prototyping of user-driven interfaces. In: D. Diaper et al. (eds.): Human-Computer Interaction-INTERACT'90. North-Holland, 1990, pp. 625\u2013631"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56777-1_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T00:53:33Z","timestamp":1593737613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_30","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}