Computer Aided Design of Logic Controllers with Petri Nets

1995 ◽  
pp. 71-92 ◽  
Author(s):  
Luca Ferrarini
Keyword(s):  
Petri Nets ◽  
Computer Aided Design ◽  
Computer Aided ◽  
Aided Design ◽  
Logic Controllers

Computer Aided Design of Sequence Control by Petri Nets

1989 ◽  
Vol 22 (18) ◽  
pp. 229-234
Author(s):  
L. Ferrarini ◽  
C. Maffezzoni ◽  
G. Villa
Keyword(s):  
Petri Nets ◽  
Computer Aided Design ◽  
Computer Aided ◽  
Aided Design

scholarly journals Computer-aided design and simulation of strip layout for progressive die planning using Petri nets

2016 ◽  
Vol 8 (4) ◽  
pp. 168781401664438 ◽  
Author(s):  
Hussein Mohamed A Hussein ◽  
Shailendra Kumar ◽  
Emad S Abouel Nasr
Keyword(s):  
Petri Nets ◽  
Computer Aided Design ◽  
Progressive Die ◽  
Strip Layout ◽  
Computer Aided ◽  
Aided Design

scholarly journals Digital systems synthesis from Petri net descriptions

1998 ◽  
Vol 27 (530) ◽  
Author(s):  
Norian Marranghello
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Computer Aided Design ◽  
Digital Systems ◽  
Design Tools ◽  
Computer Aided ◽  
Aided Design

The design of digital systems has reached a degree of complexity that virtually prevents their effective realization without computer aided design tools. Several languages were already proposed to be used in such tools, each with the objective of capturing as much hardware characteristics as possible. During about the last fifteen years the importance and use of Petri nets as a language for modeling digital systems have greatly increased. Many computer aided design tools dealing with Petri nets for the analyzis, verification and synthesis of this sort of hardware have been recently developed as well. With such a growing importance in mind, this report aims at presenting an overview of the research going on the application of Petri nets to the description of digital systems and the synthesis of the corresponding hardware from these descriptions.

Sign in / Sign up

Export Citation Format

Share Document