Improved Parallel Composition of Labelled Petri Nets
read more
Citations
De-elastisation: from asynchronous dataflows to synchronous circuits
An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net
Opportunistic Merge Element
Compositional design of asynchronous circuits from behavioural concepts
High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds
References
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
The VLSI-programming language Tangram and its translation into handshake circuits
Balsa: An Asynchronous Hardware Synthesis Language
On the models for asynchronous circuit behaviour with OR causality
Resynthesis and peephole transformations for the optimization of large-scale asynchronous systems
Related Papers (5)
Frequently Asked Questions (11)
Q2. What is the main contribution of this paper?
The main contribution of this paper is a new method for computing the parallel composition of labelled Petri nets, that generates fewer implicit places.
Q3. What is the idea of re-synthesis approach?
(The idea of re-synthesis approach is to hide the signals used for communication between components, which results in an STG with fewer signals that often has a simpler implementation as a circuit.)
Q4. What is the meaning of a non-deterministic STG?
One might think that if RG(N) is non-deterministic, it can be determinised (using well-known automata-theoretic methods), i.e. turned into a language-equivalent deterministic automaton with accepting states only; in particular, the resulting automaton will have no λ -arcs.
Q5. Why is s+ a trace of C?
Due to the output-determinacy of C, the set of outputs by which ν can be extended is uniquely determined, and so s+ must be enabled by x (perhaps, after firing several dummy transitions).
Q6. What is the effect of removing places from the preset?
some ‘memory’ (in the form of places) is required to trace which of these transitions has to be fired, which prohibits the removal of places from their presets.
Q7. What does the proposed parallel composition algorithm do?
This has a direct effect on re-synthesis: if the composed STG has fewer implicit places, more dummy transitions in it can be contracted, and so it will be easier to synthesise the result.
Q8. What is the way to describe a STG?
the class of deterministic STGs is too restrictive in practice [6], e.g.:• using dummy transitions is often convenient in manual design;• modelling OR-causality [16] as a safe STG requires non-determinism;• hiding internal communication (and thus introducing dummy transitions) is a crucial step in re-synthesis.
Q9. What is the way to remove the implicit places?
Some of these places are easy to remove (e.g. duplicate places, which have the same pre- and postsets), but in general for removing others one needs full-blown model checking, which is infeasible if the resulting composition is large.
Q10. What is the function that removes a dummy transition from an STG?
It removes a dummy transition from an STG and combines each place of its preset with each place of its postset to ‘simulate’ the firing of the deleted transition, see Fig.
Q11. What is the meaning of safeness-preserving contractions?
In practice, it is often convenient to work with safe nets, and for this [7] introduced safeness-preserving contractions, i.e. ones which guarantee that the transformed STG is safe if the initial one was.