Sciweavers

1019 search results - page 98 / 204
» Petri Net Transformations in the
Sort
View
WOSP
2004
ACM
14 years 1 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»
14 years 1 months ago
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets
Scott Little, David Walter, Nicholas Seegmiller, C...
IFIP
2004
Springer
14 years 1 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»
14 years 1 months ago
HiWorD: A Petri Net-Based Hierarchical Workflow Designer
Boualem Benatallah, Piotr Chrzastowski-Wachtel, Ra...