Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

93

MFCS
1993
Springer

favoriteEmaildiscussreport

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 1 months ago

Completeness Results for Linear Logic on Petri Nets

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

Real-time Traffic

MFCS 1993 | Theoretical Computer Science |

claim paper

Related Content

» Petri Nets with Simple Circuits

» ILP Models for the Synthesis of Asynchronous Control Circuits

» Rewriting Logic as a Unifying Framework for Petri Nets

» Representation of Petri net with OWL DL ontology

» Timed Petri Nets in Hybrid Systems Stability and Supervisory Control

» Bounded LTL Model Checking with Stable Models

» Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SA...

» Complete Process Semantics of Petri Nets

» Petri Nets as Models of Linear Logic

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1993
Where	MFCS
Authors	Uffe Engberg, Glynn Winskel

Comments (0)