Transformations in Reconfigurable Place/Transition Systems-Reference-Cited by-同舟云学术

Transformations in Reconfigurable Place/Transition Systems

Published:2008 Issue: Volume: Page:96-113
ISSN:0302-9743
Container-title:Concurrency, Graphs and Models
language:
Short-container-title:

Author:

Prange Ulrike,Ehrig Hartmut,Hoffmann Kathrin,Padberg Julia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68679-8_7

Reference45 articles.

1. Meseguer, J., Montanari, U.: Petri Nets are Monoids. Information and Computation 88(2), 105–155 (1990)

2. Lecture Notes in Computer Science;K. Hoffmann,2005

3. Lecture Notes in Computer Science;H. Ehrig,2007

4. EATCS Monographs;H. Ehrig,2006

5. Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundamenta Informaticae 74(1), 1–29 (2006)

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

1. Modular rewritable Petri nets: An efficient model for dynamic distributed systems;Theoretical Computer Science;2024-04

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