{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:45Z","timestamp":1725663405595},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179061"},{"type":"electronic","value":"9783540479260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17906-2_28","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:17:48Z","timestamp":1330197468000},"page":"234-257","source":"Crossref","is-referenced-by-count":8,"title":["Nets in office automation"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Voss","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"10_CR1","series-title":"SYSLAB Report","volume-title":"An Architecture for Object Management in OIS","author":"M. Ahlsen","year":"1984","unstructured":"Ahlsen, M. et al.: An Architecture for Object Management in OIS. SYSLAB Report No. 29, Chalmers Univ., G\u00f6teborg, Oct. 1984."},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/521.357416","volume":"2","author":"G. Bracchi","year":"1984","unstructured":"Bracchi, G., Pernici, B.: The Design Requirements of Office Systems. ACM Trans. Office Inf. Systems, Vol. 2, No. 2, Apr. 1984, 151\u2013170.","journal-title":"ACM Trans. Office Inf. Systems"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bracchi, G., Pernici, B.: SOS: A Conceptual Model for Office Information Systems. DATA BASE, Winter 1984, 11\u201318.","DOI":"10.1145\/1017712.1017716"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Net Theory and Applications","year":"1980","unstructured":"Brauer, W. (Ed.): Net Theory and Applications. Lecture Notes in Computer Science 84, Springer-Verlag, Berlin, 1980."},{"key":"10_CR5","volume-title":"GAMERU: A Language for the Analysis and Design of Human Communication Pragmatics within Organizational Systems","author":"F. DeCindio","year":"1986","unstructured":"DeCindio, F., DeMichelis, G., Simone, C.: GAMERU: A Language for the Analysis and Design of Human Communication Pragmatics within Organizational Systems. Papers presented at the 7th European Workshop on Application and Theory of Petri Nets, Oxford, June\/July 1986."},{"key":"10_CR6","unstructured":"Ellis, C.A.: Information Control Nets: A Mathematical Model for Office Information Flow. Proc. ACM Conf. on Simulation, Modeling and Measurement of Computer Systems, Aug. 1979, 225\u2013239."},{"issue":"1","key":"10_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/356802.356805","volume":"12","author":"C. A. Ellis","year":"1980","unstructured":"Ellis, C.A., Nutt, G.J.: Office Information Systems and Computer Science. ACM Comp. Surveys, Vol. 12, No. 1, March 1980, 27\u201360.","journal-title":"ACM Comp. Surveys"},{"key":"10_CR8","unstructured":"ESPRIT Project 4.1\/56: Pilot Project Final Report. Doc. No. 4.1\/56\/84, Aug. 1984."},{"key":"10_CR9","unstructured":"ESPRIT Project 4.1\/56 (Caldwell, R.S.): Discussion on the Office Model. Doc. No. 4.1\/56\/95.1, Sept. 1984."},{"key":"10_CR10","unstructured":"ESPRIT Project 4.1\/56: FAOR APPROACH Main Report, Annex: GOFOR Generic Office Frame of Reference (H. Genrich, G. Richter, K. Voss, D. Berkeley, P. Humphreys, A. Wisudha). Doc. g0048, FAOR Project Library, STL, Harlow, May 1986."},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H. J. Genrich","year":"1981","unstructured":"Genrich, H.J., Lautenbach, K.: System Modelling with High-level Petri Nets. Theoretical Computer Science 13, 1981, 109\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"10_CR12","unstructured":"Hammer, M., Sirbu, M.: What is Office Automation? Proc. of the 1980 Office Automation Conf., Atlanta, March 1981."},{"key":"10_CR13","unstructured":"Hirschheim, R.A.: Office Automation. Addison-Wesley, Reading, Mass., Sept. 1984."},{"key":"10_CR14","series-title":"Berichte der GMD","volume-title":"Ans\u00e4tze zur Organisationstheorie Rechnergest\u00fctzter Informationssysteme","author":"A. W. Holt","year":"1979","unstructured":"Holt, A.W.: Net Models of Organizational Systems, in Theory and Practice. In C.A. Petri (ed.): Ans\u00e4tze zur Organisationstheorie Rechnergest\u00fctzter Informationssysteme. Berichte der GMD Nr. 111, Oldenbourg-Verlag, M\u00fcnchen, 1979."},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Lecture Notes in Computer Science 92, Springer-Verlag, Berlin, 1980."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Thiagarajan, P.S.: Degrees of Non-determinism and Concurrency: A Petri Net View. Report DAIMI PB-180, Aarhus Univ., Oct. 1984.","DOI":"10.7146\/dpb.v13i180.7455"},{"key":"10_CR17","unstructured":"Park, D.M.: Concurrency and Automata on Finite Sequences. Report, Computer Science Dept., Univ. of Warwick, 1981."},{"key":"10_CR18","series-title":"Berichte der GMD","volume-title":"Ans\u00e4tze zur Organisationstheorie Rechnergest\u00fctzter Informationssysteme","author":"C. A. Petri","year":"1979","unstructured":"Petri, C.A.: Kommunikationsdisziplinen. In C.A. Petri (ed.): Ans\u00e4tze zur Organisationstheorie Rechnergest\u00fctzter Informationssysteme. Berichte der GMD Nr. 111, Oldenbourg-Verlag, M\u00fcnchen, 1979."},{"key":"10_CR19","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer-Verlag, Berlin, 1985."},{"key":"10_CR20","first-page":"335","volume-title":"Information Systems Design Methodologies: A Comparative Review","author":"G. Richter","year":"1982","unstructured":"Richter, G., Durchholz, R.: IML-Inscribed High-Level Petri Nets. In T.W. Olle, H.G. Sol and A.A. Verrijn-Stuart (eds.): Information Systems Design Methodologies: A Comparative Review. North-Holland Publ. Co., Amsterdam, 1982, 335\u2013368."},{"key":"10_CR21","unstructured":"Richter, G.: IML-inscribed Nets for Modelling Text Processing and Data(base) Management Systems. Proc. of the 7th Internat'l Conf. on VLDB, Cannes, Sept. 1981, 363\u2013375."},{"key":"10_CR22","first-page":"145","volume-title":"Informationstechnik und B\u00fcrosysteme","author":"G. Richter","year":"1983","unstructured":"Richter, G.: Realit\u00e4tsgetreues Modellieren und modellgetreues Realisieren von B\u00fcrogeschehen. In P. Wi\u00dfkirchen et al.: Informationstechnik und B\u00fcrosysteme. Teubner, Stuttgart, 1983, 145\u2013214."},{"issue":"4","key":"10_CR23","first-page":"210","volume":"6","author":"G. Richter","year":"1983","unstructured":"Richter, G.: Netzmodelle f\u00fcr die B\u00fcrokommunikation. Informatik-Spektrum, Vol. 6, No. 4, 1983, 210\u2013220 (part 1) and Vol. 7, No. 1, 1984, 28\u201340 (part 2).","journal-title":"Informatik-Spektrum"},{"key":"10_CR24","unstructured":"Richter, G.: Clocks and Their Use for Time Modeling. In A. Sernadas, J. Bubenko, jr. and A. Olive (eds.): Information Systems: Theoretical and Formal Aspects. North-Holland Publ. Co., 1985, 49\u201366."},{"key":"10_CR25","volume-title":"Advances in Petri Nets 1985","author":"G. Richter","year":"1986","unstructured":"Richter, G.; Voss, K.: Towards a Comprehensive Office Model Integrating Information and Resources. Papers Presented at the 6th European Workshop on Applications and Theory of Petri Nets, June 26\u201328, 1985, Espoo, 17\u201334. Also in G. Rozenberg (ed.): Advances in Petri Nets 1985, Springer-Verlag, Berlin, 1986."},{"issue":"7","key":"10_CR26","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/358557.358578","volume":"25","author":"D. Tsichritzis","year":"1982","unstructured":"Tsichritzis, D.: Form Management. Comm. ACM, Vol. 25, No. 7, July 1982, 453\u2013477.","journal-title":"Comm. ACM"},{"key":"10_CR27","series-title":"Informatik-Fachberichte","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-3-642-69028-0_19","volume-title":"On the Notion of Interface in Condition\/ Event-Systems","author":"K. Voss","year":"1983","unstructured":"Voss, K.: On the Notion of Interface in Condition\/ Event-Systems. Informatik-Fachberichte 66, Springer-Verlag, Berlin, 1983, 278\u2013291."},{"key":"10_CR28","unstructured":"Voss, K.: System Specification with Labelled Nets and the Notion of Interface Equivalence. Arbeitspapiere der GMD 211, GMD, St. Augustin, June 1986."},{"key":"10_CR29","volume-title":"Representation, Specification and Automation of Office Procedures","author":"M. D. Zisman","year":"1977","unstructured":"Zisman, M.D.: Representation, Specification and Automation of Office Procedures. PhD Thesis and Working Paper 77-09-04, The Wharton School, University of Pennsylvania, Philadelphia, Sept. 1977."}],"container-title":["Lecture Notes in Computer Science","Petri Nets: Applications and Relationships to Other Models of Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17906-2_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:21Z","timestamp":1605644001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17906-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179061","9783540479260"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-17906-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}