当前位置: X-MOL 学术J. Comput. Syst. Sci. › 论文详情
The complexity of synthesizing elementary net systems relative to natural parameters
Journal of Computer and System Sciences ( IF 1.129 ) Pub Date : 2020-01-14 , DOI: 10.1016/j.jcss.2019.12.007
Christian Rosenke; Ronny Tredup

Elementary net systems (ENS) are the most fundamental class of Petri nets. Given a labeled transition system (TS) A, feasibility is the NP-complete decision problem whether A can be synthesized into an ENS. We analyze the impact of state degree, the number of allowed successors and predecessors of states in A, and event manifoldness, the amount of occurrences that an event can have in A, on the computational complexity of feasibility and the related event state separation property (ESSP) and state separation property (SSP). Feasibility, ESSP and SSP are NP-complete for TSs with state degree one and event manifoldness not less than three and for TSs with state degree and event manifoldness at least two. As we also show that SSP becomes tractable for TSs with state degree one and event manifoldness two, the only cases left open are ESSP and feasibility for the same input restriction.
更新日期:2020-01-15

 

全部期刊列表>>
全球疫情及响应:BMC Medicine专题征稿
欢迎探索2019年最具下载量的化学论文
新版X-MOL期刊搜索和高级搜索功能介绍
化学材料学全球高引用
ACS材料视界
南方科技大学
x-mol收录
南方科技大学
自然科研论文编辑服务
上海交通大学彭文杰
中国科学院长春应化所于聪-4-8
武汉工程大学
课题组网站
X-MOL
深圳大学二维材料实验室张晗
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug