Title

Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism

Journal title

International Journal of Electronics and Telecommunications

Yearbook

2012

Volume

vol. 58

Issue

No 1

Authors

Doligalski, Michał ; Adamski, Marian

Divisions of PAS

Nauki Techniczne

Publisher

Polish Academy of Sciences Committee of Electronics and Telecommunications

Date

2012

Identifier

DOI: 10.2478/v10177-012-0006-6 ; eISSN 2300-1933 (since 2013) ; ISSN 2081-8491 (until 2012)

Source

International Journal of Electronics and Telecommunications; 2012; vol. 58; No 1

References

Adamski M. (2005), Design of embedded control systems, 15, doi.org/10.1007/0-387-28327-7_2 ; Gajski D. (1994), Specification and design of embedded systems. ; Andreu D. (2008), Petri net based rapid prototyping of digital complex system, null, 405, doi.org/10.1109/ISVLSI.2008.54 ; G. Bazydło, "Graphical specification of programs for reconfigurable logic controllers using uml," Ph.D. dissertation, University of Zielona Góra, 2010. ; Basile F. (2009), A two-stage modelling architecture for distributed control of real-time industrial systems: Application of uml and petri net, Comput. Stand. Interfaces, 31, 528, doi.org/10.1016/j.csi.2008.03.021 ; Doligalski M. (2010), Exceptions and deep history state handling using dual specification, Electrical Review, 9, 9, 123. ; Łabiak G. (2008), Concurrent processes synchronisation in statecharts for fpga implementation, null, 59, doi.org/10.1109/EWDTS.2008.5580158 ; Doligalski M. (2007), Partial reconfiguration-oriented design of logic controllers, null, 6937, 10, doi.org/10.1117/12.784663