{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:59Z","timestamp":1725663179389},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:16:55Z","timestamp":1330193815000},"page":"197-214","source":"Crossref","is-referenced-by-count":2,"title":["Design and programming of interfaces for monetic applications using petri nets"],"prefix":"10.1007","author":[{"given":"Theodor","family":"Hildebrand","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"12_CR1","volume-title":"OPLINE: Sommaire des Releases des Produits OPA-Outils pour Protocoles d'Acheminement","author":"C. Bages","year":"1983","unstructured":"C. BAGES: \"OPLINE: Sommaire des Releases des Produits OPA-Outils pour Protocoles d'Acheminement\" SLIGOS, Puteaux, France, 1983."},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Net theory and Applications","year":"1980","unstructured":"W. BRAUER (ed.): \"Net theory and Applications\" Lecture Notes in Computer Science 84, SPRINGER, Berlin, 1980."},{"key":"12_CR3","volume-title":"Reseaux de Petri: Theorie et Pratique","author":"G. W. Brams","year":"1983","unstructured":"G. W. BRAMS: \"Reseaux de Petri: Theorie et Pratique\" MASSON, Paris, 1983."},{"key":"12_CR4","volume-title":"\"Produits ITBG-Cr\u00e9ation d'une version back-up\" Note DTM\/TCOM\/83\/74","author":"G. Dauvergne","year":"1983","unstructured":"G. DAUVERGNE: \"Produits ITBG-Cr\u00e9ation d'une version back-up\" Note DTM\/TCOM\/83\/74, SLIGOS, Puteaux, France, 1983."},{"key":"12_CR5","volume-title":"ITISNA, Rapport de Stage DEA Systemes Informatiques","author":"L. Devinast","year":"1984","unstructured":"L. DEVINAST: \"ITISNA, Rapport de Stage DEA Systemes Informatiques\" Institut de Programmation, Universit\u00e9 Pierre et Marie Curie (Paris VI), Paris, 1984."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1016\/0376-5075(82)90112-X","volume":"6","author":"M. Diaz","year":"1982","unstructured":"M. DIAZ: \"Modelling and Analysis of Communications and Cooperation Protocols Using Petri Net Based Models\" Computer Networks, vol 6, 1982, pp 419\u2013441.","journal-title":"Computer Networks"},{"key":"12_CR7","volume-title":"VALITEL, les Commer\u00e7ants et l'Autorisation de Paiement par VIDEOTEX","author":"P. Dupont","year":"1982","unstructured":"P. DUPONT: \"VALITEL, les Commer\u00e7ants et l'Autorisation de Paiement par VIDEOTEX\" Convention Informatique, Paris, 1982."},{"key":"12_CR8","volume-title":"Applications and Theory of Petri Nets, Informatik Fachberichte 66","author":"C. Girault","year":"1983","unstructured":"C. GIRAULT and P. ESTRAILLIER: \"Petri Nets Specification of Virtual Ring Protocols\" In: Applications and Theory of Petri Nets, Informatik Fachberichte 66, SPRINGER, Berlin, 1983."},{"key":"12_CR9","first-page":"20","volume":"7","author":"O. Herzog","year":"1984","unstructured":"O. HERZOG, W. REISIG and R. VALK: \"Petri Netze: Ein Abriss ihrer Grundlagen and Anwendungen\" Informatik-Spektrum 7, 1984, pp 20\u201327.","journal-title":"Informatik-Spektrum"},{"key":"12_CR10","volume-title":"Methodes de R\u00e9alisation d'Interfaces dans le R\u00e9seau Priv\u00e9 AVISO \u00e0 SLIGOS","author":"T. Hildebrand","year":"1984","unstructured":"T. HILDEBRAND: \"Methodes de R\u00e9alisation d'Interfaces dans le R\u00e9seau Priv\u00e9 AVISO \u00e0 SLIGOS\" Journ\u00e9es Internationales de l'Informatique et de l'Automatisme, Paris, 19\u201322 june 1984."},{"key":"12_CR11","unstructured":"IBM: \"IBM 3270 Information Display System\" Component Description, GA27-2749-7."},{"key":"12_CR12","unstructured":"ISO: \"Information Processing System \u2014 Open System Interconnection, Transport Protocol Specification\" ISO\/TC-97\/SC-16\/WG6, TOKYO, june 1982."},{"key":"12_CR13","volume-title":"Report of the 9th ISIS User Meeting","author":"R. Jones","year":"1984","unstructured":"R. JONES and T. HILDEBRAND: \"AVISO Operations and Future Developments of Interface Design Using Petri Nets\" In: Report of the 9th ISIS User Meeting, Italcable, Roma, 1984."},{"key":"12_CR14","unstructured":"G. JUANOLE, B. ALGAYRES and J. DUFAU: \"Protocol Design and Modelling\" 4th European Workshop on Applications and Theory of Petri Nets, Toulouse, 26\u201329 september 1983."},{"key":"12_CR15","volume-title":"\"PAS: Protocole d'Acheminement SLIGOS\" Note DTM\/TCOM\/83\/05","author":"D. Moisson","year":"1983","unstructured":"D. MOISSON and T. HILDEBRAND: \"PAS: Protocole d'Acheminement SLIGOS\" Note DTM\/TCOM\/83\/05, SLIGOS, Puteaux, France, 1983."},{"key":"12_CR16","volume-title":"Packet-switched data networks. An Introduction to TYMSHARE's Advanced Communications Technology","author":"JL. Morard","year":"1982","unstructured":"JL. MORARD: \"Packet-switched data networks. An Introduction to TYMSHARE's Advanced Communications Technology\" TYMSHARE NETWORK SYSTEMS CONSULTING, St Cloud, France, 1982."},{"key":"12_CR17","volume-title":"AVISO, Acheminements Vari\u00e9s et Intelligents pour Syst\u00e8mes Op\u00e9rationnels","author":"A. Pigal","year":"1982","unstructured":"A. PIGAL: \"AVISO, Acheminements Vari\u00e9s et Intelligents pour Syst\u00e8mes Op\u00e9rationnels\" SLIGOS, Puteaux, France, 1982."},{"key":"12_CR18","first-page":"210","volume":"6","author":"G. Richter","year":"1983","unstructured":"G. RICHTER: \"Netzmodelle f\u00fcr die B\u00fcrokommunikation\" Informatik \u2014 Spektrum 6, 1983, pp 210\u2013220 and 7, 1984, pp 28\u201340.","journal-title":"Informatik \u2014 Spektrum"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:58:48Z","timestamp":1619557128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}