Overview of Reconfigurable Petri Nets-Reference-Cited by-同舟云学术

Overview of Reconfigurable Petri Nets

Published:2018 Issue: Volume: Page:201-222
ISSN:0302-9743
Container-title:Graph Transformation, Specifications, and Nets
language:
Short-container-title:

Author:

Padberg Julia,Kahloul Laid

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-75396-6_11

Reference77 articles.

1. AGG. http://www.user.tu-berlin.de/o.runge/agg/index.html . Accessed 02 June 2017

2. Badouel, E., Llorens, M., Oliver, J.: Modeling concurrent systems: reconfigurable nets. In: Arabnia, H.R., Mun, Y. (eds.) International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 1568–1574 (2003)

3. Badouel, E., Oliver, J.: Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems. Research Report RR-3339. INRIA (1998)

4. Baldan, P., Corradini, A., Ehrig, H., Heckel, R., König, B.: Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Log. Methods comput. Sci. 4, 126–142 (2008)

5. Bause, F., Kritzinger, P.S.: Stochastic Petri Nets: An Introduction to the Theory. Vieweg+Teubner Verlag, Cape Town (2002)

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

1. Moral and formal model-based control strategy for autonomous vehicles at traffic-light-free intersections;Smart Construction and Sustainable Cities;2024-07-09

2. Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems;Lecture Notes in Computer Science;2022

3. Towards a Modelling Framework for Dynamically Reconfigurable Systems Using Maude (& Petri Nets);Lecture Notes in Networks and Systems;2022

4. Canonization of Reconfigurable PT Nets in Maude;Lecture Notes in Computer Science;2022

5. An Efficient Maude Formalization of (Rewritable) PT Nets;2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2021-12