Interpreted petri net approach for design of dedicated reactive systems

摘要

In the paper a structured synthesis method based on the direct mapping of hierarchical interpreted Petri nets into field programmable logic is presented. The described methodology is especially useful for designing of Industrial Application Specific Loic Controllers (ASLCs) with FPGA. The specification of the reactive system in the form of symbolic, if-then or if-then-else conditional decision rules is transformed into a HDL format that is accepted by standard FPGA simulators and synthesis tools. The Concurrent State machine model of Logic Controller is verified using the well-developed Petri net theory, and then it is translated through automated processes into selected FPGA specification format.