Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference6 articles.
1. On questions of fairness and temporal logic for conflict-free Petri nets;Howell,1988
2. An O(n1.5) algorithm to decide boundedness for conflict-free vectorreplacement system;Howell;Inform. Process. Lett.,1987
3. Properties of conflict-free and persistent Petri nets.;Landweber;J. ACM,1978
4. Petri nets: Properties, analysis and applications;Murata;Proc. IEEE,1989
5. Some unsolved problems in modeling self-timed circuits using Petri nets;Tiusanen;EATCS Bulletin,1988
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Anwendungen von Farkas Lemma;Petrinetze, lineare Algebra und lineare Programmierung;1998
2. Deciding a class of path formulas for conflict-free petri nets;Theory of Computing Systems;1997-10
3. On the Regularity of Petri Net Languages;Information and Computation;1996-02
4. Shortest Paths in Reachability Graphs;Journal of Computer and System Sciences;1995-10
5. Model checking using net unfoldings;Science of Computer Programming;1994-12