Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets∗ Jonathan Hayman and Glynn Winskel Computer Lab - Algebraic Petri nets - Document - PDFSEARCH.IO

First Page	Meta Content
	Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets∗ Jonathan Hayman and Glynn Winskel Computer Lab Add to Reading List Document Date: 2008-11-13 05:59:01 Open Document File Size: 225,52 KB Share Result on Facebook City Bangalore / / Company Creative Commons / Glynn Winskel Computer Laboratory / / Country United Kingdom / / Currency pence / / Facility University of Cambridge / / Organization University of Cambridge / / Person M. Mukund / V / Petri nets / Petri nets∗ Jonathan Hayman / Jonathan Hayman / / Position General / concurrency relation coO / coO / / ProvinceOrState South Carolina / / PublishedMedium Theoretical Computer Science / / Technology Software Technology / / SocialTag Category theory Algebraic topology General topology Adjoint functors Pullback Petri net Sheaf Universal property Functor Topology

Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets∗ Jonathan Hayman and Glynn Winskel Computer LabAdd to Reading List