Process periods and system reconstruction
It is a common practice in system design to build a system from its given behaviour. It is the general purpose in system analysis to get to know system behaviour from its structure. A common problem in both the two areas is how to specify. or to represent. system behaviour? This paper propose PROCESS PERIOD as the basic means of describing system behaviour, provided Petri Nets are used to model the system. A finite system can only have finite periods, and the total number of its periods is also finite. all processes. finite or not, can be constructed from, or decomposed into, periods.
Algorithm XY, contained in the appendix. is used to develop periods from a given system. The problem of constructing or reconstructing a system from the given behaviour is also discussed.
Unable to display preview. Download preview PDF.
- E. Best, A. Merceron, “D-Continuity: A Study in Relating System Properties to Process Properties” (1984), GMD report No. 83Google Scholar
- E. Best, M. W. Shields, “Some Equivalence Results for Free Choice Nets and Simple Nets and On the Periodicity of Live Free Choice Nets” LNCS Vol. 156Google Scholar
- W. Brauer (ed.), “Net Theory and Applications”, LNCS Vol. 84 (1980)Google Scholar
- C. Fernandez, M. Nielsen, P. s. Thiagarajan, “A Note on Observable Occurrence Nets”, Proceedings of the Fifth European Workshop on Applications and Theory of Petri Nets, (1984)Google Scholar
- J. L. Peterson, “Petri Nets” Computing Surveys Vol. 9, No. 3 (1977)Google Scholar
- C. A. Petri, “Concurrency”, LNCS Vol. 84Google Scholar
- W. Reisig, “Petri Nets”, Springer-Verlag (1985)Google Scholar
- U.Goltz, W. Reisig, “The Non-sequential Behaviour of Petri Nets”, Information and Control (1983)Google Scholar
- G. Winskel, “Events in Computation”, Ph.D. Thesis, University of Edinburg, Edinburg Great BritainGoogle Scholar