Search Sciweavers | Sciweavers

1019 search results - page 101 / 204

» Transformations of Petri Nets

115

click to vote

ICMCS
2000
IEEE

74views Multimedia» more ICMCS 2000»

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

15 years 10 months ago

Download www.cerias.purdue.edu

James Joshi, Arif Ghafoor

claim paper

Read More »

110

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

15 years 10 months ago

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

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

claim paper

Read More »

127

click to vote

APN
2000
Springer

105views Artificial Intelligence» more APN 2000»

Hardware and Petri Nets: Application to Asynchronous Circuit Design

15 years 10 months ago

Download www.daimi.au.dk

Jordi Cortadella, Michael Kishinevsky, Alex Kondra...

claim paper

Read More »

126

click to vote

IFL
1999
Springer

97views Formal Methods» more IFL 1999»

Haskell-Coloured Petri Nets

15 years 10 months ago

Download www.isp.uni-luebeck.de

d abstract) Claus Reinke

Claus Reinke

claim paper

Read More »

135

click to vote

FOCS
1998
IEEE

104views Theoretical Computer Science» more FOCS 1998»

A Primitive Recursive Algorithm for the General Petri Net Reachability Problem

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers