1655 search results - page 89 / 331 » State, Event, Time and Diagram in System Modeling |
197
click to vote
TCS
2010
15 years 4 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...
171
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
149
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
189
click to vote
ICONFERENCE
2012
14 years 1 months ago
2012
As Facebook has become global, users from different cultural and socio-political contexts have joined the site. We present a case study investigating how both current and historic...
155
click to vote
SNPD
2004
15 years 7 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...