@inproceedings{549ffce0c45f42fb93ceb9d89b795fab,
title = "On the Relations between Petri Nets and Transition Systems: Composition and Synchronization",
keywords = "category theory, heterogenous algebraic theories, net theory, category theory, heterogenous algebraic theories, net theory, category theory, heterogenous algebraic theories, net theory",
author = "N. Husberg",
year = "1993",
language = "English",
pages = "189--198",
booktitle = "The 4th Nordic Workshop on Program Correctness, Bergen, Norway, 2.-4.11.1992",
publisher = "University of Bergen",
address = "Norway",
}