142 search results - page 1 / 29 » Petri nets and integrality relaxations: A view of continuous... |
TSMC
2002
13 years 10 months ago
2002
ATVA
2007
Springer
14 years 5 months 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 5 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
14 years 7 days 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 10 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...