Author of the publication

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.

, , , , and . ICATPN, volume 4546 of Lecture Notes in Computer Science, page 104-123. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Subtyping for Hierarchical, Reconfigurable Petri Nets.. CoRR, (2018)Workshop on Petri Nets and Graph Transformations., , , and . ICGT, volume 4178 of Lecture Notes in Computer Science, page 467-469. Springer, (2006)Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.. Appl. Categorical Struct., 16 (3): 333-364 (2008)Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.. Appl. Categorical Struct., 7 (4): 371-403 (1999)Integration and Collaboration Based on Graphical Techniques (Editorial)., , and . Transactions of the SDPS, 5 (1): 1-2 (2001)Reconfigurable Open Algebraic High-Level Systems., and . ECEASST, (2008)A Uniform Approach to Petri Nets., and . Foundations of Computer Science: Potential - Theory - Cognition, volume 1337 of Lecture Notes in Computer Science, page 219-231. Springer, (1997)From Basic Views and Aspects to Integration of Specification Formalisms., , and . Current Trends in Theoretical Computer Science, World Scientific, (2001)Towards Component Verification in the Generic Component Framework., , and . FESCA@ETAPS, volume 203 of Electronic Notes in Theoretical Computer Science, page 37-53. Elsevier, (2007)Workshop on Petri Nets and Graph Transformations., , and . ICGT, volume 3256 of Lecture Notes in Computer Science, page 442-444. Springer, (2004)