Skip to main content
SpringerLink
Log in
Book cover

Practice of Petri Nets in Manufacturing pp 185–290Cite as

Petri nets for manufacturing information systems

  • Chapter

Abstract

The information system is a central component of any manufacturing system in the sense that it provides support to its two other fundamental subsystems: the physical system (or operational system, i.e. where the physical actions take place using enterprise resources) and the decision system (i.e. where strategic and tactical decisions are made). The relationships among these three subsystems are illustrated by Fig. 5.1. While discussions of the previous chapters of the book are mainly concerned with modeling and analysis of the decision and physical systems of manufacturing, this chapter focuses more on the information system of a manufacturing enterprise.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   129.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  • Albano, A., De Antollenis, V. and Di Leva, A. (eds) Computer-Aided Database Design: The DATAID Project North-Holland, Amsterdam, 1985.

    Google Scholar 

  • Appleton, D. S. The CIM database. SME Computer-Integrated Manufacturing Series, 1(4). SME, Dearborn, MI, 1984.

    Google Scholar 

  • Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D. and Zdonik, S. The object-oriented database system manifesto. In Deductive and Object-Oriented Databases (W. Kim, J. M. Nicolas and S. Nishio, eds), North-Holland, Amsterdam, pp. 223–240, 1990.

    Google Scholar 

  • Beck, C. L. and Krogh, B. H. (1986) Models for simulation and discrete control of manufacturing systems. Proc. IEEE Int. Conf. on Robotics Automation, pp. 305–310, 1986.

    Google Scholar 

  • Biemans, F. and Blonk, P. On the formal specification and verification of CIM architectures using LOTOS. Computers in Industry, 7, 491–504, 1986.

    Article  Google Scholar 

  • Ceri, S. (ed.) Methodology and Tools for Database Design, North-Holland, Amsterdam, 1983.

    Google Scholar 

  • Chen, P. P. S. The entity-relationship model-toward a unified view of data. ACM Transactions on Database Systems, 1(1), 9–36, 1976.

    Article  Google Scholar 

  • Coad, P. and Yourdon, E. Object-Oriented Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1990.

    Google Scholar 

  • Codd, E. F. A relational model of data for large shared data banks. Communications of the ACM, 13(6), 377–386, 1970.

    Article  MATH  Google Scholar 

  • Date, C.J. An Introduction to Database Systems. 4th edition, Addison-Wesley, Reading, MA, 1986.

    Google Scholar 

  • Di Leva, A. and Giolito, P. I Sistemi Informativi: Analisi e Progetto, Dipartimento di Informatica, Universita di Torino, 1989.

    Google Scholar 

  • Di Leva, A., Giolito, P. and Vernadat, F. Executable models for the representation of production systems. Proc. IMACS-IFAC Symposium MCTS-91, Lille, France, pp. 561–566, 7-10 May 1991.

    Google Scholar 

  • Di Leva, A., Vernadat, F. and Bizier, D. Information system analysis and conceptual database design of production environments with M*. Computers in Industry, 9, 183–217, 1987.

    Article  Google Scholar 

  • Famili, A. and Vernadat, F. Integrity constraints of manufacturing data bases. Engineering with Computers, 2(1), 41–52, 1986.

    Article  Google Scholar 

  • Gane, C. and Sarson, T. Structured System Analysis: Tools and Techniques. Prentice-Hall, Englewood Cliffs, NJ, 1979.

    Google Scholar 

  • Genrich, H. J. Predicate/transition nets. In Petri Nets: Central Models and their Properties (W. Brauer, W. Reisig and G. Rozenberg, eds.) Lecture Notes in Computer Science, 254, Springer-Verlag, Berlin, pp. 208–247, 1987.

    Google Scholar 

  • Genrich, H. J. and Lautenbach, K. System modelling with high level Petri nets. Theoretical Computer Science, 13, 109–136, 1981.

    Article  MathSciNet  MATH  Google Scholar 

  • Gerelle, E. G. R. and Stack, J. Integrated Manufacturing Strategy, Planning, and Implementation. McGraw-Hill, New York, 1988.

    Google Scholar 

  • Hardwick, M. and Spooner, D. The ROSE data manager: using object technology to support interactive engineering applications. IEEE Transactions on Knowledge and Data Engineering, pp. 285–289, 1989.

    Google Scholar 

  • Hsu, C. and Rattner, L. Information modeling for computerized manufacturing. IEEE Transactions on Systems, Man, and Cybernetics, 20(4), 758–776, 1990.

    Article  Google Scholar 

  • Huber, P., Jensen, K. and Shapiro, R. M. Hierarchies in colored Petri nets. In Advances in Petri Nets 1990 (G. Rozenberg, ed.), Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1990.

    Google Scholar 

  • Hull, R. and King, R. Semantic database modeling: survey, applications and research issues, ACM Computing Surveys, 19(3), 201–260, 1987.

    Article  Google Scholar 

  • Jeng, M. D. and DiCesare, F. A review of synthesis techniques for Petri nets. Proceedings of IEEE Computer Integrated Manufacturing Systems Conference, 1990.

    Google Scholar 

  • Jensen, K. Coloured Petri nets and the invariant-method. Theoretical Computer Science, 14, 317–336, 1981.

    Article  MathSciNet  MATH  Google Scholar 

  • Jensen, K. Computer tools for construction, modification and analysis of Petri nets. Advances in Petri Nets, Part II, pp. 4–19, 1986.

    Google Scholar 

  • Jensen, K. Coloured Petri nets. In Petri Nets: Central Models and their Properties, (W. Brauer, W. Reisig and G. Rozenberg, eds), Lecture Notes in Computer Science, 254, Springer-Verlag, Berlin, pp. 248–299, 1987.

    Chapter  Google Scholar 

  • Jensen, K. Coloured Petri nets: a high level language for system design and analysis. In Advances in Petri Nets 1990 (G. Rozenberg, ed.), Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1990.

    Google Scholar 

  • Lee, K. H. and Favrel, J. Hierarchical reduction method for analysis and decomposition of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, SMC-15(2). 1985.

    Google Scholar 

  • Lin, C. P. Design, verification and implementation of rule based information system for integrated manufacturing. Ph.D. thesis, Department of Mechanical Engineering, University of Maryland, College Park, Maryland, 1991.

    Google Scholar 

  • Lopez, B., Meseguer, P. and Plaza, E. Knowledge based systems validation: a state of the art. AI Communications, 3(2), 58–72, 1990.

    Google Scholar 

  • Mark, L. and Roussopoulos, N. Operational specification of update dependencies. Systems Research Center Technical Report No. SRC TR-87-37, University of Maryland, 1987.

    Google Scholar 

  • Martin, J. and McClure, C. Structured Techniques for Computing. Prentice-Hall, Englewood Cliffs, NJ, 1985.

    Google Scholar 

  • Martinez, J. and Silva, M. A simple and fast algorithm to obtain all invariants of a generalized Petri net. Second European Workshop on Application and Theory of Petri Nets, pp. 301–310, 1982.

    Google Scholar 

  • Meyer, B. Object-Oriented Software Construction. Prentice-Hall, New York, 1988.

    Google Scholar 

  • Muro, P. R., Villarroel, J. L., Martinez, J. and Silva, M. A knowledge representation tool for manufacturing control systems design and prototyping. INCOM ′89, 6th IFAC/IFIC/IFORS/IMACS Symposium on Information Control Problems in Manufacturing Technology, Madrid, Spain, 1989.

    Google Scholar 

  • Narahari, Y. and Viswanadham, N. A Petri net approach to the modeling and analysis of flexible manufacturing systems. Annals of Operations Research, 3, 381–391, 1985.

    Article  Google Scholar 

  • Ngu, A. H. H. Conceptual transaction modelling. IEEE Transactions on Knowledge and Data Engineering, 1(4), 508–518, 1989.

    Article  Google Scholar 

  • Nguyen, T. A., Perkins, W. A., Laffey, T. J. and Pecora, D. Knowledge base validation. AI Magazine, pp. 67–75, summer 1987.

    Google Scholar 

  • Peterson, J. L. Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ, 1981.

    Google Scholar 

  • Pressman, R. S. Software Engineering: A Practitioner’s Approach. 2nd edition, McGraw-Hill, New York, 1987.

    Google Scholar 

  • Sartori, L. G. Manufacturing Information Systems, Addison-Wesley, Reading, MA, 1988.

    Google Scholar 

  • Sibertin-Blanc, C. Object-oriented structuring using high-level Petri nets. In Advances in Petri Nets ′91 (G. Rozenberg, ed.), Springer-Verlag, Berlin, 1991.

    Google Scholar 

  • Smith, J. M. and Smith, D. C. P. Data abstraction: aggregation and generalization. ACM Transactions on Database Systems, 2(2), 1977.

    Google Scholar 

  • Spooner, D., Hardwick, M. et al. The evolution of ROSE: an engineering object-oriented database system, Proc. of IEEE Conf on CIM, RPI, pp. 16–23, 1990.

    Google Scholar 

  • Stotts, P. D. and Furuta, R. Petri net based hypertext: document structure with browsing semantics. ACM Transactions on Information Systems, 7(1), 3–29, 1989.

    Article  Google Scholar 

  • Su, S. Y. W. Modeling integrated manufacturing data with SAM*. Computer, 19(1), 34–49, 1986.

    Article  Google Scholar 

  • Suzuki, I. and Murata, T. A method for stepwise refinement and abstraction of Petri nets. Journal of Computer System Science, 27, 51–76, 1983.

    Article  MathSciNet  MATH  Google Scholar 

  • Tardieu, H., Rochfeld, A. and Colletti, R. La méthode MERISE: principes et outils, Les Editions d’Organisation, Paris, 1983.

    Google Scholar 

  • Teorey, T. J., Yang, D. and Fry, J. P. A logical design methodology for relational databases using the extended entity-relationship model. ACM Computing Surveys, 18(2), 197–222, 1986.

    Article  MATH  Google Scholar 

  • Tsichritzis, D. C. and Lochovsky, F. H. Hierarchical data base management: a survey. ACM Computing Surveys, 8(1), 105–123, 1976.

    Article  MATH  Google Scholar 

  • Ullman, J. D. Principles of Database Systems. 2nd edition, Computer Science Press, Rockville, MD, 1982.

    MATH  Google Scholar 

  • Valette, R. Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences, 18, 35–46, 1979.

    Article  MathSciNet  MATH  Google Scholar 

  • Vernadat, F. A conceptual schema for a CIM database, Proc. AUTOFACT VI Conference, Anaheim, CA, 1–4 October 1984.

    Google Scholar 

  • Vernadat, F., Di Leva, A. and Giolito, P. Organization and information system design of manufacturing environments: the new M * approach. Computer-Integrated Manufacturing Systems, 2(2), 69–81, 1989.

    Article  Google Scholar 

  • Wirfs-Brock, R. J. and Johnson, R. E. Surveying current research in object-oriented design. Communications of the ACM, 33(9), 105–124, 1990.

    Article  Google Scholar 

Download references

Authors
  1. G. Harhalakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. B. Vernadat
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1993 F. DiCesare, G. Harhalakis, J. M. Proth, M. Silva and F. B. Vernadat

About this chapter

Cite this chapter

Harhalakis, G., Vernadat, F.B. (1993). Petri nets for manufacturing information systems. In: Practice of Petri Nets in Manufacturing. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-6955-4_5

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-6955-4_5

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-011-6957-8

  • Online ISBN: 978-94-011-6955-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation