Net refinement by pullback rewriting

DOI10.1007/BFB0053550MaRDI QIDQ3839073zbMATH OpenFDO

Authors Renate Klempien-Hinrichs

Publication date 8 October 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0053550

zbMATH Keywords

graph grammarsPetri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1762783
• Rule-based refinement of Petri nets: A survey
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1231478

Cited in

(5)

• Graph-rewriting Petri nets
• scientific article; zbMATH DE number 1762783 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Pullback rewriting and applications
• Rule-based refinement of Petri nets: A survey

This page was built for publication: Net refinement by pullback rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3839073)