|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 12 gevonden artikelen
| Titel: |
A transformation from a Boolean equation control specification to a Petri net |
| Auteur: |
Jafari, Mohsen A. Meredith, Glenn A. Boucher, Thomas O. |
| Verschenen in: |
IIE transactions |
| Paginering: | Jaargang 27 (1995) nr. 1 pagina's 9-22 |
| Jaar: |
1995-02-01 |
| Inhoud: |
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. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 12 gevonden artikelen
| << vorige | volgende >> |