Skip to main content
SpringerLink
Log in

A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets

  • Original Article
  • Published:
The International Journal of Advanced Manufacturing Technology Aims and scope Submit manuscript

The application of Petrinets is one of the well-known approaches for developing provably error-free control software for manufacturing systems. To evaluate the practicability of available methods and tools for at least medium-sized systems, a case study has been performed to develop modularised control software of a production cell with hierarchical Petri nets, supporting reuse as well as stepwise validation.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. Brandenburg Technical University of Cottbus, Department of Computer Science, Cottbus, Germany, , , , , , DE

    M. Heiner, P. Deussen & J. Spranger

Authors
  1. M. Heiner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Deussen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Spranger
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Heiner, M., Deussen, P. & Spranger, J. A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets. Int J Adv Manuf Technol 15, 139–152 (1999). https://doi.org/10.1007/s001700050051

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s001700050051

Search

Navigation