Abstract
Synthesis refers to the problems of constructing a distributed system model from the sequential observation of its behaviour. This contribution suggests Petri nets as an adequate framework for solving the synthesis problem. The theory of regions is paramount in this context. We present the basics of region theory and synthesis construction, and apply it to two case studies. © Springer-Verlag 2013.
Cite
CITATION STYLE
APA
Reisig, W. (2013). The synthesis problem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7480 LNCS, pp. 300–313). Springer Verlag. https://doi.org/10.1007/978-3-642-38143-0_8
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free