Sciweavers

941 search results - page 94 / 189
» Self-Evolving Petri Nets
Sort
View
MEMBRANE
2005
Springer
15 years 3 months ago
Towards a Petri Net Semantics for Membrane Systems
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
WOSP
2004
ACM
15 years 3 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...
ATVA
2004
Springer
67views Hardware» more  ATVA 2004»
15 years 3 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 3 months ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan