Sciweavers

688 search results - page 1 / 138
» The Flow Set with Partial Order
Sort
View
MOR
2008
169views more  MOR 2008»
13 years 4 months ago
The Flow Set with Partial Order
The flow set with partial order is a mixed-integer set described by a budget on total flow and a partial order on the arcs that may carry positive flow. This set is a common substr...
Alper Atamtürk, Muhong Zhang
FORMATS
2007
Springer
13 years 8 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
ACSD
2007
IEEE
140views Hardware» more  ACSD 2007»
13 years 8 months ago
Synthesis of Petri Nets from Finite Partial Languages
In this paper we present two algorithms that effectively synthesize a finite place/transition Petri net (p/t-net) from a finite set of labeled partial orders (a finite partial lang...
Robert Lorenz, Robin Bergenthum, Jörg Desel, ...
JCT
2008
132views more  JCT 2008»
13 years 4 months ago
The absolute order on the symmetric group, constructible partially ordered sets and Cohen-Macaulay complexes
The absolute order is a natural partial order on a Coxeter group W. It can be viewed as an analogue of the weak order on W in which the role of the generating set of simple reflec...
Christos A. Athanasiadis, Myrto Kallipoliti
ORDER
2002
104views more  ORDER 2002»
13 years 4 months ago
Partially Well-Ordered Closed Sets of Permutations
It is known that the "pattern containment" order on permutations is not a partial well-order. Nevertheless, many naturally defined subsets of permutations are partially ...
Mike D. Atkinson, Max Murphy, Nikola Ruskuc