Search Sciweavers | Sciweavers

638 search results - page 47 / 128

» Animation modeling with petri nets

click to vote

ICCCI
2009
Springer

122views Intelligent Agents» more ICCCI 2009»

On Multi-agent Petri Net Models for Computing Extensive Finite Games

14 years 9 days ago

Download nandu.informatik.tu-freiberg.de

Rustam Tagiew

claim paper

Read More »

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

14 years 6 days ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

click to vote

ICMCS
2000
IEEE

74views Multimedia» more ICMCS 2000»

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

14 years 3 days ago

Download www.cerias.purdue.edu

James Joshi, Arif Ghafoor

claim paper

Read More »

click to vote

PNPM
1989

64views Artificial Intelligence» more PNPM 1989»

Stochastic Petri Net Modeling of VAXcluster System Availability

13 years 11 months ago

Download people.ee.duke.edu

Oliver C. Ibe, Archana Sathaye, Richard C. Howe, K...

claim paper

Read More »

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers