Author:
Kahloul Laid,Chaoui Allaoua,Djouani Karim
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation 100(1), 1–40 (1992)
2. Lecture Notes in Computer Science;R. Milner,1980
3. Badouel, E., Javier, O.: Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems. Research report INRIA (1998) ISSN 0249-6399
4. Lecture Notes in Computer Science;C. Fournet,2002
5. Asperti, A., Busi, N.: Mobile Petri Nets. Mathematical Structures in Computer Science 19(6), 1265–1278 (2009)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Efficient Maude Formalization of (Rewritable) PT Nets;2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2021-12