Petri Net Processes for Zero-Safe Nets

• Autorzy: Farwer B. , Köhler M.
• Języki publikacji: EN

Abstrakty

EN

Composition of modules to larger units is a technique frequently used during the software development life cycle. It is mostly used in a "bottom up" fashion, suggested by the principles of object orientation, where the composition of simple objects to a complex one plays a central role. Composition in Petri nets has been studied in the form of place and transition fusion. Zero-Safe Nets represent a special approach, which allows the use of more complex synchronisation structures, so-called transactions. The definition of transactions is based on interleaving semantics, i.e. on firing-sequences. Problems arise, since the definition is not closed with respect to the permutation of actions. This paper presents a partial order concurrency semantics for zero-safe nets based on Petri net processes. Using these semantics, a characterisation of such transactions closed with respect to permutation of concurrent actions becomes possible.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2005
• Tom: Vol. 67, nr 1-3
• Strony: 65--75
• Opis fizyczny: Bibliogr. 9 poz.

Twórcy

autor

Farwer B.

• Department of Computer Science, University of Hamburg Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany

autor

Köhler M.

• Department of Computer Science, University of Hamburg Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany

Bibliografia

• [1] Best, E., Fernández, C.: Nonsequential processes: a Petri net view, Springer-Verlag, 1988.
• [2] Best, E., Merceron, A.: Frozen tokens and d-continuity: a study in relating system properties to process properties, Advances in Petri Nets (G. Rozenberg, Ed.), 188, Springer-Verlag, Berlin, Germany, 1984.
• [3] Bruni, R., Montanari, U.: Zero-Safe Nets – or transition synchronization made simple, Proceedings of EXPRESS’ 97, 4th workshop on Expressiveness in Concurrency, 7, Elsevier Science, 1997.
• [4] Bruni, R., Montanari, U.: Executing Transactions in Zero-Safe Nets., Conference on Application and Theory of Petri Nets (ICATPN 2000) (M. Nielsen, D. Simpson, Eds.), 1825, Springer-Verlag, 2000.
• [5] Bruni, R., Montanari, U.: Zero-Safe Nets: Comparing the Collective and Individual Token Approaches, Information and Computation, 156(1-2), 2000, 46–89.
• [6] Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets, Information and Control, 57, 1983, 125–147.
• [7] Köhler, M., Rölke, H.: Concurrency for Mobile Object-Net Systems, Fundamenta Informaticae, 54(2-3), 2003.
• [8] Kummer, O.: A Petri Net View on Synchronous Channels, Petri Net Newsletter, 56, 1999, 7–11.
• [9] Rölke, H., Moldt, D.: Pattern Based Workflow Design Using Reference Nets, Business Process Management: International Conference, BPM 2003, 2678, Springer-Verlag, 2003.