Search Sciweavers | Sciweavers

1099 search results - page 92 / 220

» Petri net ontology

200

click to vote

WOSP
2004
ACM

175views Software Engineering» more WOSP 2004»

From UML activity diagrams to Stochastic Petri nets: application to software performance engineering

15 years 11 months ago

Download webdiis.unizar.es

Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...

Juan Pablo López-Grao, José Mersegue...

claim paper

Read More »

138

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

15 years 11 months ago

Download sbml.org

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

claim paper

Read More »

150

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 »

101

click to vote

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 »

160

click to vote

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers