Petri-net-based algorithms for parallel-controller synthesis

Access Full Text

Petri-net-based algorithms for parallel-controller synthesis

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IEE Proceedings - Computers and Digital Techniques — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

The paper presents new algorithms for the synthesis of parallel controllers which operate on a Petri net. This net is first simplified by reduction, then coloured and finally used to generate a state assignment with which the controller can be synthetised. The new concept of using colours for detecting and representing concurrency within the Petri net is presented. Experimental results show that the methods presented are especially economical for the synthesis of complex controllers.

Inspec keywords: finite state machines; state assignment; Petri nets; controllers; logic design

Other keywords: parallel-controller synthesis; state assignment; Petri-net-based algorithms; concurrency

Subjects: Logic design methods; Combinatorial mathematics; Automata theory; Combinatorial mathematics; Switching theory; Logic circuits

http://iet.metastore.ingenta.com/content/journals/10.1049/ip-cdt_19941508
Loading

Related content

content/journals/10.1049/ip-cdt_19941508
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading