142 search results - page 1 / 29 » Petri nets and integrality relaxations: A view of continuous... |
TSMC
2002
13 years 6 months ago
2002
ATVA
2007
Springer
14 years 23 days ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
AUTOMATICA
2011
13 years 1 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
ROOM
2000
13 years 8 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
AUTOMATICA
2005
13 years 6 months ago
2005
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...