Search Sciweavers | Sciweavers

630 search results - page 70 / 126

» Oclets - Scenario-Based Modeling with Petri Nets

104

click to vote

CDC
2009
IEEE

169views Control Systems» more CDC 2009»

Modeling and control of elementary 2D-Traffic systems using Petri nets and minplus algebra

15 years 6 months ago

Download mescal.imag.fr

Nadir Farhi

claim paper

Read More »

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 6 months 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

15 years 5 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 5 months ago

Download www.cerias.purdue.edu

James Joshi, Arif Ghafoor

claim paper

Read More »

click to vote

QEST
2009
IEEE

104views Modeling and Simulation» more QEST 2009»

Petri Net Analysis Using Decision Diagrams

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers