×

Serwis używa ciasteczek ("cookies") i podobnych technologii m.in. do utrzymania sesji i w celach statystycznych. • Ustawienia przeglądarki dotyczące obsługi ciasteczek można swobodnie zmieniać. • Całkowite zablokowanie zapisu ciasteczek na dysku komputera uniemożliwi logowanie się do serwisu. • Więcej informacji: Polityka cookies OPI PIB


  • Tytuł artykułu:
    Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
  • Opublikowany w czasopiśmie:
  • Rocznik 2012,  tom 58,  numer 1
  • 43-48
  • Oryginalny artykuł naukowy
  • angielski
  • article-e6cab4cf-9386-4e2c-a300-6d1f15e868b4
  • 10.2478/v10177-012-0006-6
  • 12.10.2015 12:22:07
  • Michał Doligalski [1]
  • Marian Adamski [1]
  • [1] Computer Engineering & Electronics Department, University of Zielona Góra, ul. Licealna 9, 65-417 Zielona Góra, Poland
  • Brak afiliacji
  1. Michał Doligalski, Arkadiusz Bukowiec, Partial Reconfiguration in the Field of Logic Controllers Design. International Journal of Electronics and Telecommunications 2013; 59, 4, 351-356
  1. M. Adamski, A. Karatkevich, and M. Wgrzyn, "Formal logic design of reprogrammable controllers," in Design of embedded control systems, M. Adamski, A. Karatkevich, and M. Wgrzyn, Eds. New York: Springer Publishing Company, Incorporated, 2005, pp. 15-26.
  2. D. D. Gajski, F. Vahid, S. Narayan, and J. Gong, Specification and design of embedded systems. Upper Saddle River, NJ, USA: Prentice-Hall, Inc., 1994.
  3. D. Andreu, G. Souquet, and T. Gil, "Petri net based rapid prototyping of digital complex system," in Proceedings of the 2008 IEEE Computer Society Annual Symposium on VLSI. Washington, DC, USA: IEEE Computer Society, 2008, pp. 405-410, DOI: 10.1109/ISVLSI.2008.54.10.1109/ISVLSI.2008.54
  4. G. Bazydło, "Graphical specification of programs for reconfigurable logic controllers using uml," Ph.D. dissertation, University of Zielona Góra, 2010.
  5. F. Basile, P. Chiacchio, and D. Del Grosso, "A two-stage modelling architecture for distributed control of real-time industrial systems: Application of uml and petri net," Comput. Stand. Interfaces, vol. 31, pp. 528-538, March 2009, DOI: 10.1016/j.csi.2008.03.021.http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000263995600002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=b7bc2757938ac7a7a821505f8243d9f310.1016/j.csi.2008.03.021
  6. M. Doligalski and M. Adamski, "Exceptions and deep history state handling using dual specification," Electrical Review, vol. 9, no. 9, pp. 123-125, 2010.
  7. G. Łabiak and M. Adamski, "Concurrent processes synchronisation in statecharts for fpga implementation," in Design Test Symposium (EWDTS), 2008 East-West, oct. 2008, pp. 59-64, DOI: 10.1109/EWDTS.2008.5580158.10.1109/EWDTS.2008.5580158
  8. M. Doligalski and M. Wgrzyn, "Partial reconfiguration-oriented design of logic controllers," Proceedings of SPIE : Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2007, vol. 6937, p. [10], 2007, DOI: 10.1117/12.784663.10.1117/12.784663
  • F. Basile, P. Chiacchio, and D. Del Grosso, "A two-stage modelling architecture for distributed control of real-time industrial systems: Application of uml and petri net," Comput. Stand. Interfaces, vol. 31, pp. 528-538, March 2009, DOI: 10.1016/j.csi.2008.03.021.http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000263995600002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=b7bc2757938ac7a7a821505f8243d9f310.1016/j.csi.2008.03.021 - COMPUT STAND INTER
  • M. Doligalski and M. Adamski, "Exceptions and deep history state handling using dual specification," Electrical Review, vol. 9, no. 9, pp. 123-125, 2010. - Przegląd Elektrotechniczny