Sciweavers

941 search results - page 94 / 189
» Self-Evolving Petri Nets
Sort
View
MEMBRANE
2005
Springer
16 years 14 days ago
Towards a Petri Net Semantics for Membrane Systems
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
WOSP
2004
ACM
16 years 11 days 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»
16 years 11 days ago
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets
Scott Little, David Walter, Nicholas Seegmiller, C...
IFIP
2004
Springer
16 years 10 days ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan