Search Sciweavers | Sciweavers

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 »

165

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

15 years 10 months ago

Download www.daimi.au.dk

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

claim paper

Read More »

139

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

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

15 years 10 months ago

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

140

click to vote

TACAS
1997
Springer

134views Algorithms» more TACAS 1997»

A Brief Introduction to Coloured Petri Nets

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers