Search Sciweavers | Sciweavers

1019 search results - page 101 / 204

» Petri Net Transformations in the

click to vote

ICMCS
2000
IEEE

74views Multimedia» more ICMCS 2000»

A Petri-Net Based Multilevel Security Specification Model for Multimedia Documents

14 years 7 days ago

Download www.cerias.purdue.edu

James Joshi, Arif Ghafoor

claim paper

Read More »

click to vote

KBSE
2000
IEEE

71views Software Engineering» more KBSE 2000»

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

14 years 7 days ago

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

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

claim paper

Read More »

click to vote

APN
2000
Springer

105views Artificial Intelligence» more APN 2000»

Hardware and Petri Nets: Application to Asynchronous Circuit Design

14 years 6 days ago

Download www.daimi.au.dk

Jordi Cortadella, Michael Kishinevsky, Alex Kondra...

claim paper

Read More »

click to vote

IFL
1999
Springer

97views Formal Methods» more IFL 1999»

Haskell-Coloured Petri Nets

14 years 3 days ago

Download www.isp.uni-luebeck.de

d abstract) Claus Reinke

Claus Reinke

claim paper

Read More »

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 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers