Author:
Best Eike,Devillers Raymond,Koutny Maciej
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference36 articles.
1. Baeten, J, and, Weijland, W. P. 1990, Process Algebra, Cambridge Tracts in Theoretical Computer Science, Vol, 18, Cambridge University Press, Cambridge, UK.
2. Sequential and concurrent behaviour in petri net theory;Best;Theoret. Comput. Sci.,1988
3. Best, E., Devillers, R., and Esparza, J.1993, General refinement and recursion operators for the petri box calculus, inProc. of STACS'93P. Enjalbert, A. Finkel, and K. W. Wagner, Eds., Lecture Notes in Computer Science, Vol. 665, pp. 130–140, Springer-Verlag, Berlin.
4. Best, E., Devillers, R., and Hall, J.1992, The petri box calculus: A new causal algebra with multilabel communication, inAdvances in Petri Nets 1992G. Rozenberg, Ed., Lecture Notes in Computer Science, Vol. 609, pp. 21–69, Springer-Verlag, Berlin.
5. Best, E., Devillers, R., and Koutny, M.1998, Petri nets, process algebras and concurrent programming languages, inAdvances in Petri Nets. Lectures on Petri Nets II: ApplicationsW. Reisig and G. Rozenberg, Eds., Lecture Notes in Computer Science, Vol. 1492, pp. 1–84, Springer-Verlag, Berlin.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. There and Back Again;Application and Theory of Petri Nets and Concurrency;2023
2. Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis;Fundamenta Informaticae;2022-01-10
3. Nested-unit Petri nets;Journal of Logical and Algebraic Methods in Programming;2019-04
4. Articulation of Transition Systems and Its Application to Petri Net Synthesis;Application and Theory of Petri Nets and Concurrency;2019
5. Process Algebras for Petri Nets;Monographs in Theoretical Computer Science. An EATCS Series;2017