Search Sciweavers | Sciweavers

941 search results - page 117 / 189

» Haskell-Coloured Petri Nets

118

click to vote

REX
1993

123views Logical Reasoning» more REX 1993»

Linear Logic on Petri Nets

15 years 10 months ago

Download www.brics.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

155

click to vote

REX
1993

143views Logical Reasoning» more REX 1993»

An Introduction to the Theoretical Aspects of Coloured Petri Nets

15 years 10 months ago

Download www.dsc.ufcg.edu.br

Kurt Jensen

claim paper

Read More »

click to vote

PNPM
1989

64views Artificial Intelligence» more PNPM 1989»

Stochastic Petri Net Modeling of VAXcluster System Availability

15 years 10 months ago

Download people.ee.duke.edu

Oliver C. Ibe, Archana Sathaye, Richard C. Howe, K...

claim paper

Read More »

148

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

15 years 10 months ago

Download homepages.laas.fr

Bernard Berthomieu, Florent Peres, François...

claim paper

Read More »

click to vote

ICEIS
2007
IEEE

84views Information Technology» more ICEIS 2007»

Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers