Author:
Esparza Javier,Nielsen Mogens
Abstract
This is a survey of some decidability results for Petri nets, covering the last three decades. The presentation is structured around decidability of specific <em>properties</em>, various behavioural <em> equivalences</em> and finally the model checking problem for <em>temporal logics</em>.
Publisher
Det Kgl. Bibliotek/Royal Danish Library
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献