Petri nets in software engineering
- 213 Downloads
The central issue of this contribution is a methodology for the use of nets in practical systems design. We show how nets of channels and agencies allow for a continuous and systematic transition from informal and unprecise to precise and formal specifications. This development methodology leads to the representation of dynamic systems behaviour (using Pr/T-Nets) which is apt to rapid prototyping and formal correctness proofs.
This net-based design methodology covers a very broad spectrum of the software lifecycle without the need of switching to a different representation technique. Indeed this spectrum is broader than that of many other methods, such as SADT, Jackson Structured Design or Abstract Data Types.
Key WordsSystematic System Design Stepwise Refinement and Embedding Consistency and Completeness of Designs Relationship to other SE methods
Unable to display preview. Download preview PDF.
- [Encyclopedia]Encyclopedia of Computer Science Engineering, A. Ralston (ed.), van Nostrand Reinhold, Comp., New YorkGoogle Scholar
- [Genrich, Stankiewicz-Wiechno 80]H.J. Genrich, E. Stankiewicz-Wiechno: A Dictionary of Some Basic Notions of Net Theory. LNCS 84: Net Theory and Applications. W. Brauer (ed.) Springer-Verlag, pp. 519–535 (1980)Google Scholar
- [Jensen 86]Kurt Jensen: Computer Tools for Construction, Modification and Analysis of Petri Nets. this volumeGoogle Scholar
- [Petri 76]C.A. Petri: Interpretations of Net Theory. Gesellschaft für Mathematik und Datenverarbeitung, Internal Report 75-07, Second, revised edition 1976Google Scholar
- [Reisig 83]W. Reisig: System Design Using Petri Nets. Informatik-Fachberichte 74: Requirements Engineering. Hommel, Krönig (eds.) Springer-Verlag, pp. 29–41, (1983)Google Scholar
- [Richter 83]G. Richter: Netzmodelle für die Bürokommunikation. Informatik-Spektrum, No. 6, pp. 210–220 (1983) and No. 7, pp. 28–40 (1984)Google Scholar
- [Ross, Schoman 77]D.T. Ross, K.E. Schoman: Structured Analysis for Requirement Definition. IEEE-SE, Jan. 1977Google Scholar