183 search results - page 22 / 37 » The Downward-Closure of Petri Net Languages |
104
click to vote
SIGSOFT
1996
ACM
15 years 4 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
100
Voted
ACSD
2003
IEEE
15 years 5 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
108
click to vote
WOSP
2000
ACM
15 years 4 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
118
Voted
INFORMS
1998
15 years 3 days ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
133
Voted
SCESM
2006
ACM
15 years 6 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...