A categorical linear framework for Petri nets

Authors:
Carolyn Brown;Doug Gurr
Affiliations:
-;-
Venue:
Information and Computation
Year:
1995

Citing 0
Cited 4

An Axiomatization of the Token Game Based on Petri Algebras

Fundamenta Informaticae
Linear Properties of Zero-Safe Nets with Debit Tokens

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Linear Properties of Zero-Safe Nets with Debit Tokens

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
An Axiomatization of the Token Game Based on Petri Algebras

Fundamenta Informaticae

Quantified Score

Hi-index	0.01

Visualization

Abstract