Abstract
At WODES’ 98, we introduced an approach to modelling and analysis of PLC systems using ordinary Petri nets. This paper supplements the former one by presenting detailed contributions to a systematic model design of the application program’s surroundings. For that purpose, design aspects of the environment model as well as three different kinds of models for the system program are discussed. As a side effect, an obvious principle of timer modelling turns out.
This work is supported by the Gennan Research Council under grant ME 1557/
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IEC Standard 1131-3. Programmable controllers — Part 3: Programming languages; Int. Electrotechnical Commission, 1993.
Hanisch, H.-M. et al.: Modelling of PLC Behaviour by Means of Timed Net Condition / Event Systems; Proc. 6th IEEE Int. Symposium on Emerging Technologies and Factory Automation (ETFA’ 97), Los Angeles, Sept. 1997, pp. 361–396.
Heiner, M.; Menzel, T.: Petri Net Semantics for the PLC User programming language Instruction List (in German); Techn. Report BTU Cottbus, I-20/1997, Cottbus December 1997.
Heiner, M.: Petri Net Based System Analysis without State Explosion; Proc. High Performance Computing’ 98, Boston, April 1998, SCS Int. San Diego 1998, pp. 394–403.
Heiner, M.; Menzel, T: A Petri Net Semantics for the PLC Language Instruction List; IEE Workshop on Discrete Event Systems (WODES’ 98), Cagliari/Italy, August 1998.
Heiner, M.; Deussen, P.; Spranger, J.: A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets; Int. J. of Advanced Manufacturing Technology, Springer-Verlag London, (1999) 15, pp. 139–152.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Heiner, M., Menzel, T. (2000). Time-related Modelling of PLC Systems with Time-less Petri Nets. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_28
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_28
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive