Search Sciweavers | Sciweavers

1369 search results - page 108 / 274

» On the Semantics of Petri Nets

151

Voted

APN
1994
Springer

79views Artificial Intelligence» more APN 1994»

A General Systematic Approach to Arc Extensions for Coloured Petri Nets

15 years 11 months ago

Download www.daimi.au.dk

Charles Lakos, Søren Christensen

claim paper

Read More »

131

Voted

APN
1993
Springer

82views Artificial Intelligence» more APN 1993»

Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations

15 years 11 months ago

Download iaaa.cps.unizar.es

José A. Bañares, Pedro R. Muro-Medra...

claim paper

Read More »

194

Voted

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 11 months ago

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

133

Voted

REX
1993

123views Logical Reasoning» more REX 1993»

Linear Logic on Petri Nets

15 years 11 months ago

Download www.brics.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

171

click to vote

REX
1993

143views Logical Reasoning» more REX 1993»

An Introduction to the Theoretical Aspects of Coloured Petri Nets

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers