Search Sciweavers | Sciweavers

941 search results - page 115 / 189

» Haskell-Coloured Petri Nets

click to vote

FOCS
1998
IEEE

104views Theoretical Computer Science» more FOCS 1998»

A Primitive Recursive Algorithm for the General Petri Net Reachability Problem

14 years 1 months ago

Download hal.archives-ouvertes.fr

Zakaria Bouziane

claim paper

Read More »

click to vote

INFOCOM
1997
IEEE

113views Communications» more INFOCOM 1997»

Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model

14 years 1 months ago

Download www27.cs.kobe-u.ac.jp

The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...

Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno

claim paper

Read More »

click to vote

APN
1997
Springer

127views Artificial Intelligence» more APN 1997»

Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course

14 years 1 months ago

Download www.daimi.au.dk

Søren Christensen, Kjeld Høyer Morte...

claim paper

Read More »

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

14 years 1 months ago

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

click to vote

TACAS
1997
Springer

134views Algorithms» more TACAS 1997»

A Brief Introduction to Coloured Petri Nets

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers