ComputerAided_Design_Engineering_amp_Manufactur.pdf
ComputerAided_Design_Engineering_amp_Manufactur.pdf
ComputerAided_Design_Engineering_amp_Manufactur.pdf
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
A temporal matrix (T-Matrix) is proposed in this chapter to record the relationships (concurrent,<br />
exclusive, sequential, … etc.) among the modeled processes. Tracking all the processes and the relationships<br />
among processes in large PNs is a difficult task and thus makes the automatic tracking of rule applicability<br />
upon generation and the automatic updating of the T-Matrix desirable.<br />
The knitting rules are useful for analysis and reduction. For a given PN, we construct its T-Matrix and<br />
check mutual relationships among processes against the rules. Any violation spots potential bad designs.<br />
The reverse process of removing processes (reduction), according to the rules, should preserve the properties<br />
of the PN. Rather than reducing modules to transitions, we remove paths to reduce the PN. We have<br />
implemented a reduction algorithm based on the rules; the code is very simple, containing less than 100 lines.<br />
In an earlier paper, 6 we proved that the synthesized nets are bounded and conservative based on a<br />
linear-algebra technique. This chapter will show that the structural relationships among processes in a<br />
PN are identical to the temporal ones. Based on this, we are able to prove the properties of live, reversible,<br />
and marking monotonic, but will omit the proof for boundedness. This chapter develops such an<br />
algorithm and its X-Window implementation. In addition, the T-Matrix can record self-loops and find<br />
maximum concurrency with linear time complexity, which helps for processor assignments.<br />
The T-Matrix, however, cannot synthesize certain classes of nets. For instance, there are no ordering of<br />
firings among a set of transitions that are exclusive to each other. Sometimes, these transitions must execute<br />
one by one. In addition, if the synthesized net is initially safe, it stays safe for any reachable marking. It is<br />
marking monotonic, i.e., it will not evolve into a deadlock by adding more tokens. The synchronic distance<br />
between any two transitions in a synthesized net is either one or infinite. Certain classes of net will evolve<br />
to become unsafe, marking nonmonotonic, and to allow any positive synchronic distance.<br />
The above limitation springs from the fact that some generations are forbidden. Allowing the forbidden<br />
generations would produce34<br />
new classes of nets. To maintain well-behavedness, new generations must<br />
accompany the forbidden generations. Based on this, this chapter develops a set of new rules to generate<br />
new classes of nets. First, we remove the restriction of forbidding the generation of new TT-path between<br />
two exclusive transitions. We add another new TT-path such that the above two exclusive transitions are<br />
sequentialized with synchronic distance of one. These two transitions are both exclusive and sequential<br />
to each other—a new temporal relationship, sequentially exclusive, denoted as “SX” or ↑.<br />
Second, we<br />
extend the rules to general Petri nets where arcs may carry multiple weights.<br />
None of the existing tools integrate drawing, file manipulation, analysis, simulation, animation, reduction,<br />
synthesis, and property query in one software package. Furthermore, because PNs model discrete-event<br />
systems, the tool finds applications in communication protocols, flexible manufacturing systems, (extended)<br />
finite state machines, expert systems, interactive parallel debuggers, 11 digital signal processing (DSP), 5,7,11,65 etc.<br />
We have enhanced the tool to include not only PNs but also state diagrams and data flow graphs<br />
(DFGs) with few code changes. Thus a designer can choose the model with which he is familiar. For<br />
instance, DSP professionals do not know PNs well. They can, however, draw DFGs and obtain iteration<br />
bounds, critical loops, rate-optimal scheduling, and others by just clicking a button. 5,7,11 Section 8.3 formalizes<br />
the TT rule and PP rule after the preliminaries in Section 8.2. Section 8.4 deals with the T-Matrix<br />
for PNs. Section 8.5 outlines the algorithm for updating the matrix and its time complexity. Section 8.6<br />
discusses the X-Window implementation. Section 8.7 extends the rules to allow forbidden generations<br />
between exclusive transitions and GPNs. Its application to an FMS is presented. This section also briefly<br />
summarizes other features of the CAD tool. Section 8.8 concludes the approaches presented in this<br />
chapter. Notations are provided in the Appendix.<br />
8.2 Preliminaries<br />
Terminology<br />
A Petri net38–39,43<br />
is a directed bipartite graph consisting of two types of nodes: places (represented by<br />
circles) and transitions (represented by bars). Places represent conditions or the presence of raw materials,<br />
and transitions represent events. Each transition has a certain number of input and output places