Search Sciweavers | Sciweavers

941 search results - page 98 / 189

» Petri Nets Are Dioids

157

click to vote

APN
2004
Springer

88views Artificial Intelligence» more APN 2004»

Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets

16 years 10 days ago

Download sbml.org

Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Deni...

claim paper

Read More »

163

click to vote

ATVA
2004
Springer

67views Hardware» more ATVA 2004»

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

16 years 10 days ago

Download www.async.ece.utah.edu

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

claim paper

Read More »

108

click to vote

IFIP
2004
Springer

83views Programming Languages» more IFIP 2004»

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

16 years 9 days ago

Download www.cs.ncl.ac.uk

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

claim paper

Read More »

173

Voted

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

16 years 7 days ago

Download is.tm.tue.nl

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

claim paper

Read More »

156

click to vote

APN
2003
Springer

102views Artificial Intelligence» more APN 2003»

Coloured Petri Nets in Development of a Pervasive Health Care System

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers