Search Sciweavers | Sciweavers

941 search results - page 54 / 189

» Haskell-Coloured Petri Nets

142

click to vote

ATVA
2004
Springer

67views Hardware» more ATVA 2004»

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

15 years 11 months ago

Download www.async.ece.utah.edu

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

claim paper

Read More »

Voted

IFIP
2004
Springer

83views Programming Languages» more IFIP 2004»

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

15 years 11 months ago

Download www.cs.ncl.ac.uk

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

claim paper

Read More »

155

click to vote

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

15 years 11 months ago

Download is.tm.tue.nl

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

claim paper

Read More »

140

Voted

APN
2003
Springer

102views Artificial Intelligence» more APN 2003»

Coloured Petri Nets in Development of a Pervasive Health Care System

15 years 11 months ago

Download semag.dsi.uminho.pt

Jens Bæk Jørgensen

claim paper

Read More »

161

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers