Free choice systems have home states-Reference-Cited by-同舟云学术

Free choice systems have home states

Published:1984-05 Issue:1 Volume:21 Page:89-100
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Best Eike,Voss Klaus

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00289141.pdf

Reference13 articles.

1. Berthelot, G., Terrat, R.: Petri nets for the correctness of protocols. IEEE Trans. Comm. 30, 2497?2505 (1982)

2. Best, E.: Adequacy properties of path programs. Theor. Comput. Sci. 18, 149?171 (1982)

3. Best, E.: Relational semantics of concurrent programs (with some applications). In: Formal description of programming concepts II (D. Bjørner, ed.), pp. 431?452. Amsterdam: North Holland 1983

4. Best, E., Shields, M.W.: Some equivalence results on free choice nets and simple nets and on the periodicity of live and safe free choice nets. Proc. CAAP'83, Lecture Notes in Computer Science, Vol. 159, pp. 141?154. Berlin-Heidelberg-New York: Springer 1983

5. Lecture Notes in Computer Science, Vol. 84;H.J. Genrich,1980

Cited by 34 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets;Application and Theory of Petri Nets and Concurrency;2020

2. Reversible computation vs. reversibility in Petri nets;Science of Computer Programming;2018-01

3. Existence of home states in Petri nets is decidable;Information Processing Letters;2016-06

4. Reversible Computation vs. Reversibility in Petri Nets;Reversible Computation;2016

5. Structure Theory of Petri Nets;Transactions on Petri Nets and Other Models of Concurrency VII;2013