Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms
- 667 Downloads
Development of complex concurrent systems is very often performed in a top-down or bottom-up approach depending on design circumstances. Such design reflects vertical conceptual modeling of concurrent systems with certain number of abstraction/ refinement layers. Petri net morphisms have been proven to be useful in this process as long as certain desired structural and behavioral properties of such systems are preserved. We use example of a renting agency to illustrate applicability of morphisms in systematic development of distributed systems. Preservation of structural and behavioral properties of Petri net morphisms is also discussed.
KeywordsBehavioral Property Concurrent System Liveness Property Sign Contract Customer Perspective
Unable to display preview. Download preview PDF.
- 2.Desel, J., Merceron, A.: Vicinity Rrespecting Net Morphisms. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 165–185. Springer, Heidelberg (1991)Google Scholar
- 3.Desel, J., Merceron, A.: Vicinity Rrespecting Homomorphisms for Abstracting System Requirements, Bericht 337., Karlsruhe (1996)Google Scholar
- 5.Fehling, R.: A Concept of Hierarchical Petri nets with Building Blocks. In: The 12th International Conference on Application and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 370–389 (1991)Google Scholar
- 6.Girault, C., Valk, R.: Petri Nets for Systems Engineering: a Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)Google Scholar
- 8.Mikolajczak, B.: A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata. In: Parallel Processing of Discrete Optimization Problems. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 22, American Mathematical Society, Providence (1994)Google Scholar
- 10.Petri, C.A.: Introduction to General Net Theory Net and Applications. In: Brauer, W. (ed.). LNCS, pp. 1–19. Springer, Heidelberg (1980)Google Scholar
- 13.Reisig, W.: Petri Nets, An Iintroduction. Springer, Heidelberg (1985)Google Scholar
- 15.Wang, Z.: Morphisms of Petri Nets and their Role in Formal Modeling of Concurrent Systems, Master Project, UMASS Dartmouth (May 2002)Google Scholar