Synthesis of Persistent Systems
- Cite this paper as:
- Best E., Devillers R. (2014) Synthesis of Persistent Systems. In: Ciardo G., Kindler E. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2014. Lecture Notes in Computer Science, vol 8489. Springer, Cham
This paper presents efficient, specialised synthesis and reengineering algorithms for the case that a transition system is finite, persistent and reversible. It also shows by means of a complex example that structural properties of the synthesised Petri nets may not necessarily be entailed.
KeywordsCyclic Behaviour Persistency Labelled Transition Systems Parikh Vectors Petri Nets Region Theory System Synthesis Reengineering
Unable to display preview. Download preview PDF.