Sciweavers

941 search results - page 101 / 189

» History-Dependent Petri Nets

22

KBSE
2000
IEEE

71views Software Engineering» more KBSE 2000»

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources

14 years 2 months ago

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources

Download www-higashi.ist.osaka-u.ac.jp

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bo...

claim paper

Read More »

30

APN
2000
Springer

105views Artificial Intelligence» more APN 2000»

Hardware and Petri Nets: Application to Asynchronous Circuit Design

14 years 2 months ago

Hardware and Petri Nets: Application to Asynchronous Circuit Design

Download www.daimi.au.dk

Jordi Cortadella, Michael Kishinevsky, Alex Kondra...

claim paper

Read More »

21

IFL
1999
Springer

97views Formal Methods» more IFL 1999»

Haskell-Coloured Petri Nets

14 years 2 months ago

Haskell-Coloured Petri Nets

Download www.isp.uni-luebeck.de

d abstract) Claus Reinke

Claus Reinke

claim paper

Read More »

27

FOCS
1998
IEEE

104views Theoretical Computer Science» more FOCS 1998»

A Primitive Recursive Algorithm for the General Petri Net Reachability Problem

14 years 2 months ago

A Primitive Recursive Algorithm for the General Petri Net Reachability Problem

Download hal.archives-ouvertes.fr

Zakaria Bouziane

claim paper

Read More »

27

INFOCOM
1997
IEEE

113views Communications» more INFOCOM 1997»

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

14 years 2 months ago

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

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 »

« Prev « First page 101 / 189 Last » Next »