941 search results - page 18 / 189 » Petri Nets Are Dioids |
155
click to vote
TSE
1998
15 years 5 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
179
click to vote
FUIN
2010
15 years 3 months ago
2010
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...
149
click to vote
FM
2009
Springer
16 years 19 days ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
