( en | de | ru )

 

Disambiguation of "Padberg, Julia"

Author of the publication

copydeleteadd this publication to your clipboard
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.

, , and . Unifying Petri Nets, volume 2128 of Lecture Notes in Computer Science, page 230-249. Springer, (2001)

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.

Julia Padberg

Guenter Julian

Otto Julian

Ernst Julian

Klaus Julian

 

Other publications of authors with the same name

Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations., , and . SBES, page 1-16. SBC, (1993)Workshop on Petri Nets and Graph Transformations., , and . ICGT, volume 3256 of Lecture Notes in Computer Science, page 442-444. Springer, (2004)Hierarchical, Reconfigurable Petri Nets., and . Modellierung (Workshops), volume 2060 of CEUR Workshop Proceedings, page 167-186. CEUR-WS.org, (2018)Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Applied Categorical Structures, (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)Subtyping for Hierarchical, Reconfigurable Petri Nets.. CoRR, (2018)Integration and Collaboration Based on Graphical Techniques (Editorial)., , and . Transactions of the SDPS, 5 (1): 1-2 (2001)Workshop on Petri Nets and Graph Transformations., , , and . ICGT, volume 4178 of Lecture Notes in Computer Science, page 467-469. Springer, (2006)Safety Properties in Petri Net Modules.. Transactions of the SDPS, 8 (4): 65-78 (2004)Towards Model Checking Reconfigurable Petri Nets using Maude., and . ECEASST, (2014)