Petri net synthesis based on model behavior

• Autorzy: Piech H. , Borowik P.
• Języki publikacji: EN

Abstrakty

EN

Modeled processes in this kind of networks are performed with help of Petri (PT) structure. In this realization, we are used tokens as well as sequenced and concurrent fired transitions. There are exploited graph systems and mathematic operators in known approaches. In the proposed approach we use behavioral imitation, based on states matrix. It is treated as a synthesis method and is realized in stages referring to states of modeled objects behavior. There aren't important functional dependences among state attributes in time. In the proposed algorithm, we are not limited by tokens number, which need not be constant. Effectiveness of placements exploitation is not on high level but simplicity of proposed algorithm and clarity of its results, which directly refer to states characteristics are the main advantages of the given method.

Słowa kluczowe

EN

Petri net; synthesis method

PL

sieć Petriego; metoda syntezy

• Wydawca: Wydawnictwo Politechniki Częstochowskiej
• Czasopismo: Prace Naukowe Instytutu Matematyki i Informatyki Politechniki Częstochowskiej
• Rocznik: 2012
• Tom: Vol. 11, nr 2
• Strony: 103--111
• Opis fizyczny: Bibliogr. 19 poz., rys., tab.

Twórcy

autor

Piech H.

autor

Borowik P.

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

Bibliografia

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