DMCA
© 1999 Springer-Verlag London Limited A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets
Cached
Download Links
by
M. Heiner
,
P. Deussen
,
J. Spranger
BibTeX
@MISC{Heiner_©1999,
author = {M. Heiner and P. Deussen and J. Spranger},
title = {© 1999 Springer-Verlag London Limited A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The application of Petri nets 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.
