The conception of concurrent Petri net and its synthesis

• Autorzy: Piech H. , Skibińska W.
• Języki publikacji: EN

Abstrakty

EN

Petri net is form of bipartite graph. Schemes in form of Petri (PT) net permit modeling systems, objects, automata etc. Petri model becomes virtual prototype of represented system. Natural phenomena in PT nets is concurrent realized actions. It is guarantee by organization of fired transitions system. That are realized sequentially as singly or grouped procedures. In our approach we propose treat placements in standard connections with input and output system transitions. It is deeply form of concurrent because of unify structure of joining with all others placements. In this conception it's also possibility to fix sequence of fired transitions. Proposed concurrent PT net expand possibility of functional model dealing by invariant combinations of weights structures.

Słowa kluczowe

EN

Petri nets; modeling; concurrency

PL

sieci Petriego; modelowanie; współbieżność

• Wydawca: Wydawnictwo Politechniki Częstochowskiej
• Czasopismo: Prace Naukowe Instytutu Matematyki i Informatyki Politechniki Częstochowskiej
• Rocznik: 2010
• Tom: Vol. 9, nr 1
• Strony: 165--176
• Opis fizyczny: Bibliogr. 19 poz., rys.

Twórcy

autor

Piech H.

autor

Skibińska W.

• Institute of Computer and Information Science, Czestochowa University of Technology, Poland,

Bibliografia

• [1] Cortadella J., Jakovlev A., Rosenberg G., Concurrency and hardware design: Advances in Petri nets, Springer-Verlag, New York 2002, 2549.
• [2] Dadda L., The synthesis of Petri nets for controlling purposes and the reduction of their complexity, Euromicro, 2002.
• [3] Murata T., Petri Nets: properties, analysis, and applications, IEEE 1989, 77, 4, 541-580.
• [4] Berthelot G., Transformations and decompositions of nets, Advanced in Petri nets, Springer-Verlag, London 1987, 250, 359-377.
• [5] Chiola G., On the structural and behavioral characterization of P/T nets, International Workshop in Petri nets and Performance Model, Toulouse 1993, 66-75.
• [6] Jensen K., Rozenberg G., High-level Petri Nets - theory and application, Springer-Verlag, Berlin 1991.
• [7] Szpyrka M., Fast and flexible modeling of real-time systems with RTCP- nets, Computer Science 2004, 81-94.
• [8] Zuberek W.M., Timed Petri nets, definitions, properties, and applications, Microelectronics and Reliability 1991, 31, 4, 627-644.
• [9] Bowden F.D.J., Modeling time in Petri nets, Workshop on Stochastic Models in Engineering, ACM Press, New York 1994, 228-239.
• [10] Commoner F., Deadlocks in Petri Nets. Applied Data Research Inc., Wakefield, 1972.
• [11] Marsan M.A., Balbo G., Conte G., Donatelli S., Franceschinis G., Modeling with generalized stochastic Petri Nets, John Wiley and Sons, New York 1995
• [12] Cerone A., Maggiolo-Schettini A., Time based expressivity of time Petri nets for system specification, Theoretical Computer Science 1999, 216, 1-53.
• [13] Hollyday M.A., Vernon M.K., A Generalized timed Petri model for performance analysis, IEEE, Transaction of Software Engineering 1987, SE-13, 12, 1297-1310.
• [14] Peterson J.L., Petri net theory and the modeling of systems, Prentice Hall, New York 1981.
• [15] Petri C.A., Advanced Course on General Net Theory of Processes and Systems, Springer-Verlag, London 1979.
• [16] Memmi G., Vautherin J., Analyzing nets in invariant method, Advanced in Petri nets, Springer-Verlag, London 1987, 300-336.
• [17] Valmari A., Petri Net Newsletter 1994, 46, 6-14.
• [18] Yakovlev A., Gomes L., Hardware designed Petri nets, Kluwer Academic, Publishers, Norwell, US 2000.
• [19] Samolej S., Szmuc T., Time extensions of Petri nets for modeling and verification of hard realtime systems, Computer Science 2002, 55-76.