A transformation from a boolean equation control specification to a petri net

Mohsen A. Jafari, Glenn A. Meredith, Thomas O. Boucher

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


In this article we present an algorithm to transform a set(s) of Boolean equations into a Petri net(s). Boolean logic provides a mathematical basis for switching control and many other areas. In the case of programmable logic controllers used for the sequential control in manufacturing applications, Boolean equations are fundamental both in programming and in understanding their operation. A major difficulty with Boolean equations is the lack of any type of mathematical theory for the analysis of the systems that are being represented by these equations. Petri nets, on the other hand, possess a mathematical framework to analyze the properties of the system being modeled. Furthermore, Petri nets have been proved to be appropriate models for sequential control. The popularity as well as the generality of Boolean logic, on one hand, and the modeling and analytical capabilities of Petri nets, on the other hand, are the major motivations for this research.

Original languageEnglish (US)
Pages (from-to)9-22
Number of pages14
JournalIIE Transactions (Institute of Industrial Engineers)
Issue number1
StatePublished - Feb 1995

All Science Journal Classification (ASJC) codes

  • Industrial and Manufacturing Engineering


Dive into the research topics of 'A transformation from a boolean equation control specification to a petri net'. Together they form a unique fingerprint.

Cite this