cover
Article Per Year (5 Year)
All
Home Page
OAI Link
Editorial Team
Contact
Reviewer
Google Scholar
Contact Name
Seno Darmawan Panjaitan
Contact Email
-
Phone
-
Journal Mail Official
jurnal.elkha@untan.ac.id
Editorial Address
Department of Electrical Engineering, Faculty of Engineering, Universitas Tanjungpura, Jl. Prof. Dr. Hadari Nawawi, Pontianak 78124
Location
Kota pontianak,
Kalimantan barat
INDONESIA
ELKHA : Jurnal Teknik Elektro
Published by Universitas Tanjungpura
ISSN : 18581463     EISSN : 25806807     DOI : http://dx.doi.org/10.26418
Core Subject : Science, Engineering,
Computer Science & IT Control & Systems Engineering Electrical & Electronics Engineering Energy Industrial & Manufacturing Engineering
The ELKHA publishes high-quality scientific journals related to Electrical and Computer Engineering and is associated with FORTEI (Forum Pendidikan Tinggi Teknik Elektro Indonesia / Indonesian Electrical Engineering Higher Education Forum). The scope of this journal covers the theory development, design and applications on Automatic Control, Electronics, Power and Energy Systems, Telecommunication, Informatics, and Industrial Engineering.
Arjuna Subject : Teknik (semua kategori) - Teknik Listrik dan Elektro
Articles 1 Documents
 1 
Search results for , issue "Vol 1, No 2 (2008): Edisi Bulan November" : 1 Documents clear
Modular and Formal Design Approach of Industrial Automation using Coloured Petri Net Panjaitan, Seno Darmawan
ELKHA : Jurnal Teknik Elektro Vol 1, No 2 (2008): Edisi Bulan November
Publisher : Faculty of Engineering, Universitas Tanjungpura

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (462.47 KB) | DOI: 10.26418/elkha.v1i2.132

Abstract

Abstract This paper presents the use of Coloured Petri Net (CPN) for modeling and analysis on Automation system. Flexibility and re-configurability are prominent requirements for the current and future automation system. For complex systems, a dominant characteristic is modularity of functional modules. Therefore, a modular approach in building a CPN model is proposed in this paper including its analysis. This aaproach is useful to avoid the construction of a single state space of the entire system and get a simplified model. As an illustration, modeling and state space analysis of the given example by means of CPN is given. Keywords Coloured Petri Net, Modularity, Automation, Scheduling, Verification.

Page 1 of 1 | Total Record : 1

 1 

Filter by Year

2008 2008


Reset
Filter By Issues
All Issue Vol. 15 No.2 October 2023 Vol. 15 No.1 April 2023 Vol. 14 No. 2 October 2022 Vol. 14 No. 1 April 2022 Vol. 13 No. 2 October 2021 Vol. 13 No. 1 April 2021 Vol. 12 No. 2 October 2020 Vol. 12 No. 1, April 2020 Vol.11 No.2, October 2019 Vol. 11 No. 1, April 2019 Vol. 10 No. 2, October 2018 Vol. 10 No. 1, March 2018 Vol. 9 No. 2, October 2017 Vol. 9 No.1, March 2017 Vol 8, No 2 (2016): Edisi Bulan Oktober 2016 Vol 8, No 1 (2016): Edisi Bulan Maret 2016 Vol 7, No 2 (2015): Edisi Oktober 2015 Vol 7, No 1 (2015): Edisi Bulan Maret 2015 Vol 6, No 2 (2014): Edisi Bulan Oktober 2014 Vol 6, No 1 (2014): Edisi Bulan Maret 2014 Vol 5, No 2 (2013): Edisi Bulan Oktober 2013 Vol 5, No 1 (2013): Edisi Bulan Maret Vol 4, No 2 (2012): EDISI BULAN OKTOBER Vol 4, No 1 (2012): Edisi Bulan Maret Vol 3, No 2 (2011): Edisi Bulan Juli Vol 3, No 1 (2011): Edisi Bulan Maret Vol 2, No 3 (2010): Edisi Bulan November Vol 2, No 2 (2010): Edisi Bulan Juli Vol 2, No 1 (2010): Edisi Bulan Maret Vol 1, No 5 (2009): Edisi Bulan November Vol 1, No 4 (2009): Edisi Bulan Juli Vol 1, No 3 (2009): Edisi Bulan Maret Vol 1, No 2 (2008): Edisi Bulan November Vol 1, No 1 (2008): Edisi Bulan Juli More Issue