ELKHA : Jurnal Teknik Elektro
Vol 1, No 2 (2008): Edisi Bulan November

Modular and Formal Design Approach of Industrial Automation using Coloured Petri Net

Panjaitan, Seno Darmawan (Unknown)

Article Info

Publish Date
07 Mar 2012

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.

Copyrights © 2008




Citation Download
RIS
EndNote, Reference Manager, ProCite
BibTex
Latex, Jabref
Full PDF
462.47 KB
Original Source
Download Original
Google Scholar
Check in Google Scholar
Journal Info
ELKHA : Jurnal Teknik Elektro
Website

Abbrev

Elkha

Publisher

Universitas Tanjungpura

Subject

Computer Science & IT Control & Systems Engineering Electrical & Electronics Engineering Energy Industrial & Manufacturing Engineering

Description

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, ...