Abstract
Though constructing a sequential system model may be technically uncomplicated and rather ‘straightforward’, its result is often cumbersome and difficult to analyze since all possible interleavings of system's actions have to be present. This naturally raises the interest to the possibility of automatic synthesis of models that are able to grasp behavioral parallelism of the system. Boolean Petri nets are a classical formalism that enjoys generic concepts of concurrency, synchronization and conflict, and allows to obtain a concise yet expressive system representation. Let τ be a Boolean type of nets. The problem of τ-synthesis consists in deciding whether a given transition system A is isomorphic to the reachability graph of a Boolean Petri net N of type τ (a τ-net, for short). In case of a positive decision, N should be constructed. Another instance of the synthesis problem takes the dependencies of places into account: A place p of a τ-net depends on a transition t if p can influence t, that is, a marking of p can inhibit the firing of t, or if p can be influenced by t, that is, the firing of t can change a marking of p. The problem τ-synthesis of Boolean nets with restricted dependencies (τ-SOBNWRD) consists in deciding for a given transition system A and natural number d whether there exists a Boolean Petri net N of type τ such that, firstly, the reachability graph of N and A are isomorphic and, secondly, every place p of N depends on at most d transitions. For many Boolean types that allow independence, the (unrestricted) τ-synthesis problem is NP-complete, and for all of them τ-SOBNWRD inherits the NP-completeness. In this paper, we enhance our understanding of τ-SOBNWRD from a parameterized point of view: We show for 27 of the 128 thinkable Boolean types that allow independence that τ-SOBNWRD parameterized by d is W[1]-hard, and for 75 of them that the problem is W[2]-hard.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.