Abstract
A socio-technical information system like an office exhibits a variety of aspects of different nature. A correct and formal specification of an office therefore yields quite a complex model. Its essential components not only include the office functions and their informational interrelationships but also technical and human resources, procedures, aims and rules. Moreover, a realistic office model must be able to deal with evolution, change, contingency and uncertainties during the life time of the system. The paper presents an approach to a comprehensive office model which is based on the Petri net theory.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Ahlsen, M. et al.: An Architecture for Object Management in OIS. SYSLAB Report No. 29, Chalmers Univ., Göteborg, Oct. 1984.
Bracchi, G., Pernici, B.: The Design Requirements of Office Systems. ACM Trans. Office Inf. Systems, Vol. 2, No. 2, Apr. 1984, 151–170.
Bracchi, G., Pernici, B.: SOS: A Conceptual Model for Office Information Systems. DATA BASE, Winter 1984, 11–18.
Brauer, W. (Ed.): Net Theory and Applications. Lecture Notes in Computer Science 84, Springer-Verlag, 1980.
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–239.
ESPRIT Project 4.1/56: Pilot Project Final Report. Doc. No. 4.1/56/84, Aug. 1984.
ESPRIT Project 4.1/56 (Caldwell, R.S.): Discussion on the Office Model. Doc. No. 4.1/56/95.1, Sept. 1984.
Genrich, H. J., Lautenbach, K.: System Modelling with High-level Petri Nets. Theoretical Computer Science 13, 1981, 109–136.
Milner, R.: A Calculus of Communicating Systems. Lecture Notes in Computer Science 92, Springer-Verlag, 1980.
Nielsen, M., Thiagarajan, P.S.: Degrees of Non-determinism and Concurrency: A Petri Net View. Report DAIMI PB-180, Aarhus Univ., Oct. 1984.
Park, D.M.: Concurrency and Automata on Finite Sequences. Report, Computer Science Dept., Univ. of Warwick, 1981.
Petri, C.A.: Kommunikationsdisziplinen. In C.A. Petri (Ed.): Ansätze zur Organisationstheorie Rechner-gestützter Informationssysteme. Berichte der GMD Nr. 111, Oldenbourg-Verlag, 1979.
Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer-Verlag, 1985.
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., 1982, 335–368.
Richter, G.: Realitätsgetreues Modellieren und modellgetreues Realisieren von Bürogeschehen. In P. Wißkirchen (Hrsg.): Informationstechnik und Bürosysteme. Teubner, 1983, 145–214.
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–66.
Tsichritzis, D.: Form Management. Comm. ACM, Vol. 25, No. 7, July 1982, 453–477.
Voss, K.: On the Notion of Interface in Condition/Event-Systems. Informatik-Fachberichte 66, Springer-Verlag, 1983, 278–291.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Richter, G., Voss, K. (1986). Towards a comprehensive office model integrating information and resources. In: Rozenberg, G. (eds) Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science, vol 222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016223
Download citation
DOI: https://doi.org/10.1007/BFb0016223
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16480-7
Online ISBN: 978-3-540-39822-6
eBook Packages: Springer Book Archive