Abstract
A design and implementation methodology for system specification, modelling and implementation using a special kind of high level Petri nets is described. Electronic system design automation tools are used to generate synthesizable VHDL code from a Petri net model. For the design of large systems with regular structures the use of coloured Petri nets will improve the handling and flexibility. Two design examples illustrate the described methodology.
Supported by DFG grant GRK 164/1-96
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
Carlson, S.: Introduction to HDL-Based Design using VHDL. Synopsys Inc., 1991.
G. Daisenberger, J. Oehlerich, G. Wegmann: Two concepts for overload regulation in SPC switching systems: STATOR and TAIL. Telecommunication Journal, vol.56,V/1989.
W. Fengler, A. Karg: Design of complex embedded systems based on different Petri-net interpretations. In Advanced Simulation Technologies Conference, Boston, MA, 5.-9. 4. 1998.
IEEE Standard VHDL Language Reference Manual - IEEE Std 1076–1993 The Institute of Electrical and Electronics Engineers Inc., 1994
The System Specs VHDL Generator - Beta2-Version Data Sheet. Ivy Team, 1994
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer Verlag, Berlin, Heidelberg, New York, 1992.
Perry, D.: VHDL. McGraw-Hill Inc., 1991.
Peterson, J.: Petri Net Theory and the Modelling of Systems. Prentice-Hall Inc., 1981.
Visual HDL for VHDL on UNIX - Edition 4.0. Summit Design Inc., 1997.
Wikarski, D.: Petri net tools: A Comparative Study. ISST-Bericht 39/96. Technical Report, Fraunhofer-Gesellschaft e.G., Berlin, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Rokyta, P., Fengler, W., Hummel, T. (2000). Electronic System Design Automation Using High Level Petri Nets. In: Yakovlev, A., Gomes, L., Lavagno, L. (eds) Hardware Design and Petri Nets. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-3143-9_10
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3143-9_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4969-1
Online ISBN: 978-1-4757-3143-9
eBook Packages: Springer Book Archive