Sciweavers

941 search results - page 94 / 189
» Self-Evolving Petri Nets
Sort
View
MEMBRANE
2005
Springer
15 years 11 months ago
Towards a Petri Net Semantics for Membrane Systems
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
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