941 search results - page 18 / 189 » Petri Nets Are Dioids |
TSE
1998
14 years 11 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...
101
click to vote
FUIN
2010
14 years 9 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...
FM
2009
Springer
15 years 6 months 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...
EATCS
2000
14 years 11 months ago
2000
EMISA
2002
Springer
14 years 11 months ago
2002
Springer
