Search Sciweavers | Sciweavers

941 search results - page 54 / 189

» Haskell-Coloured Petri Nets

click to vote

ATVA
2004
Springer

67views Hardware» more ATVA 2004»

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets

14 years 1 months ago

Download www.async.ece.utah.edu

Scott Little, David Walter, Nicholas Seegmiller, C...

claim paper

Read More »

click to vote

IFIP
2004
Springer

83views Programming Languages» more IFIP 2004»

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

14 years 1 months ago

Download www.cs.ncl.ac.uk

Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan

claim paper

Read More »

click to vote

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

14 years 1 months ago

Download is.tm.tue.nl

Boualem Benatallah, Piotr Chrzastowski-Wachtel, Ra...

claim paper

Read More »

click to vote

APN
2003
Springer

102views Artificial Intelligence» more APN 2003»

Coloured Petri Nets in Development of a Pervasive Health Care System

14 years 1 months ago

Download semag.dsi.uminho.pt

Jens Bæk Jørgensen

claim paper

Read More »

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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers