Abstract
In this chapter, we consider finite transition systems exclusively. The chapter contains two sections. The first section shows that the net synthesis problem is NP-complete, hence one cannot construct very efficient synthesis algorithms. The second section constructs a flexible algorithm, based on minimal regions, that can be tailored to all forms of the net synthesis problem by selecting the relevant separation axioms. Most developments presented in the chapter, in spite of the title, are independent of elementary nets and valid in the larger framework of quasi-elementary nets. By nets and net systems, to restate the convention adopted in Chapter 1, we always mean quasi-elementary nets and quasi-elementary net systems, thus elementary is never meant unless it is explicit.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Badouel, E., Bernardinello, L., Darondeau, P. (2015). Algorithms of Elementary Net Synthesis. In: Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47967-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-47967-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47966-7
Online ISBN: 978-3-662-47967-4
eBook Packages: Computer ScienceComputer Science (R0)