Search Sciweavers | Sciweavers

638 search results - page 47 / 128

» Animation modeling with petri nets

112

click to vote

ICCCI
2009
Springer

122views Intelligent Agents» more ICCCI 2009»

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

15 years 8 months ago

Download nandu.informatik.tu-freiberg.de

Rustam Tagiew

claim paper

Read More »

120

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

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

15 years 8 months 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

15 years 8 months 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

15 years 8 months ago

Download people.ee.duke.edu

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

claim paper

Read More »

121

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers