[图书][B] Dynamic analysis of Petri net-based discrete systems
A Karatkevich - 2007 - books.google.com
Design of modern digital hardware systems and of complex software systems is almost
always connected with parallelism. For example, execution of an object-oriented p-gram can …
always connected with parallelism. For example, execution of an object-oriented p-gram can …
Recent progress in the boolean domain
B Steinbach - 2014 - books.google.com
In today's world, people are using more and more digital systems in daily life. Such systems
utilize the elementariness of Boolean values. A Boolean variable can carry only two different …
utilize the elementariness of Boolean values. A Boolean variable can carry only two different …
VHDL generation from hierarchical Petri net specifications of parallel controllers
Parallel controllers can be best specified using a description with a formal support to
validate structural and dynamic properties. Petri nets (PNs) can provide an adequate means …
validate structural and dynamic properties. Petri nets (PNs) can provide an adequate means …
The application of reconfigurable logic to controller design
This paper presents a framework that performs the programmable logic synthesis of rule-
based descriptions of concurrent controllers. These descriptions can be obtained from …
based descriptions of concurrent controllers. These descriptions can be obtained from …
From interpreted Petri net specification to reprogrammable logic controller design
M Adamski, JL Monteiro - ISIE'2000. Proceedings of the 2000 …, 2000 - ieeexplore.ieee.org
The goal of this paper is to present the design methodology for the modelling and synthesis
of discrete event controllers for compact, fast and reliable embedded systems, using related …
of discrete event controllers for compact, fast and reliable embedded systems, using related …
Formal reasoning in logic design of reconfigurable controllers
The rigorous digital design of embedded Reconfigurable Logic Controller starts from
hierarchical concurrent state machine model (HCSM), which has been formally derived from …
hierarchical concurrent state machine model (HCSM), which has been formally derived from …
Petri net dynamic partial reconfiguration in FPGA
A Bukowiec, M Doligalski - … Aided Systems Theory-EUROCAST 2013: 14th …, 2013 - Springer
The rigorous digital design of embedded Application Specific Logic Controllers starts from
algorithm designed with concurrent hierarchical control interpreted Petri net and then …
algorithm designed with concurrent hierarchical control interpreted Petri net and then …
Synthesis of Petri nets into FPGA with operation flexible memories
A Bukowiec, M Adamski - 2012 IEEE 15th International …, 2012 - ieeexplore.ieee.org
In this paper a new method of Petri net array-based synthesis is proposed. The method is
based on the structured encoding of places by means of using minimal numbers of bits …
based on the structured encoding of places by means of using minimal numbers of bits …
Petri nets mapping into reconfigurable logic controllers
The paper concentrates on the behavioral specification of Reconfigurable Logic Controller
programs, given initially as Petri nets and later rewritten in Hardware Description …
programs, given initially as Petri nets and later rewritten in Hardware Description …
Hardware implementation of real-time Petri-net-based controllers
This paper presents an implementation method for high-speed Petri-net-based controllers
for time-critical control with parallelism, based on look-up tables. Unlike microprocessor …
for time-critical control with parallelism, based on look-up tables. Unlike microprocessor …