Abstract
We present a method for compiling a program which does not have a conventional tree-like hierarchy of control. Such a structure can arise quite naturally in applications which are strongly user-interactive or contain significant elements of transaction processing, dynamic modelling or process control. Having a heterarchical structure, the application program is capable of being executed simultaneously at an unlimited number of points. Thus a program involving parallel distributed processing, interleaving between processors or multithreading might take advantage of this approach. The encompassing execution strategy is based on the idea of tokens moving through a variant of a Petri net under the control of a firing protocol. We describe an approach to modelling control structures with Petri net semantics and means taken to provide complete reactivation control at run time.
Chapter PDF
Similar content being viewed by others
References
Reisig, W. Petri Nets: An Introduction, Springer-Verlag, Berlin, 1985.
Evans J.B. `The Devnet: a Petri Net for Discrete Event Simulation’, (Rozenberg, G., Ed.) Advances in Petri Nets 1993, Lecture Notes in Computer Science, 674, (Eds: G. Goos, J. Hartmanis ), Springer-Verlag, Berlin, 1993, 91–125.
Evans, J.B. Structures of Discrete Event Simulation: An Introduction to the Engagement Strategy,Ellis Horwood, Chichester, UK, pp. 279, 1988; ISBN: 0–7458–0103–X.
Boden, Margaret Artificial Intelligence and Natural Man, Second Edition, MIT Press, London, 1987.
Evans, J.B. ‘System Synthesis: An Object Petri-Net Methodology’, Proceedings of the European Simulation MultiConference 1994,Barcelona, June 1–3 1994, 202–206, and University of Hong Kong Department of Computer Science Technical Report TR-93–09, pp. 13.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Evans, J.B. (1995). Compiling Heterarchical Programs by Means of Petri Nets. In: Lee, M., Barta, BZ., Juliff, P. (eds) Software Quality and Productivity. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34848-3_14
Download citation
DOI: https://doi.org/10.1007/978-0-387-34848-3_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6544-1
Online ISBN: 978-0-387-34848-3
eBook Packages: Springer Book Archive