Sciweavers

1099 search results - page 92 / 220
» Petri net ontology
Sort
View
WOSP
2004
ACM
15 years 11 months ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
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...
APN
2004
Springer
15 years 11 months ago
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets
Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Deni...
ATVA
2004
Springer
67views Hardware» more  ATVA 2004»
15 years 11 months ago
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets
Scott Little, David Walter, Nicholas Seegmiller, C...
IFIP
2004
Springer
15 years 11 months ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan
ACSD
2003
IEEE
211views Hardware» more  ACSD 2003»
15 years 11 months ago
HiWorD: A Petri Net-Based Hierarchical Workflow Designer
Boualem Benatallah, Piotr Chrzastowski-Wachtel, Ra...