On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.
On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.
PhD Thesis
petri nets, categorical semantics, symmetric monoidal categories, models for concurrency, infinite computations, completion of categories.
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
1994
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sassone, V.
(1994)
On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.
Record type:
Monograph
(Project Report)
More information
Published date: 1994
Additional Information:
Commentary On: PhD Thesis
Keywords:
petri nets, categorical semantics, symmetric monoidal categories, models for concurrency, infinite computations, completion of categories.
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261873
URI: http://eprints.soton.ac.uk/id/eprint/261873
PURE UUID: a0216fcd-d1df-43b3-a974-1d8568e5af4a
Catalogue record
Date deposited: 28 Jan 2006
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
V. Sassone
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics