Modelling integer linear programs with Petri nets
Modelling integer linear programs with petri nets
We show in this paper that timed Petri nets, with one resource shared by all the transitions, are directly connected to the modelling of integer linear programs (ILP). To an ILP can be automatically associated an equivalent Petri net. The optimal reachability delay is an optimal solution of the ILP. We show next that a net can model any ILP. I order to do this, we give a new sufficient reachability condition for the marking equation, which also holds for general Petri nets without timed transitions. ...
Solving scheduling problems using Petri nets and constraint logic programming
Factorization through Hilbert space and the dilation of L(X,Y)-valued measures
We present a general necessary and sufficient algebraic condition for the spectral dilation of a finitely additive L(X,Y)-valued measure of finite semivariation when X and Y are Banach spaces. Using our condition we derive the main results of Rosenberg, Makagon and Salehi, and Miamee without the assumption that X and/or Y are Hilbert spaces. In addition we relate the dilation problem to the problem of factoring a family of operators through a single Hilbert space.
Flag f-vectors and the cd-index.
The descent set and connectivity set of a permutation.
Flag-symmetric and locally rank-symmetric partially ordered sets.
Parking functions and noncrossing partitions.
Solution de la question 377
An arithmetic analogue of Clifford's theorem
Number fields can be viewed as analogues of curves over fields. Here we use metrized line bundles as analogues of divisors on curves. Van der Geer and Schoof gave a definition of a function on metrized line bundles that resembles properties of the dimension of , where is a divisor on a curve . In particular, they get a direct analogue of the Rieman-Roch theorem. For three theorems of curves, notably Clifford’s theorem, we will propose arithmetic analogues.
An arithmetic analogue of Clifford's theorem.
Irreducible symmetric group characters of rectangular shape.
Linear Diophantic Equations and Local Cohomology.
Decomposition of Pascal's kernels mod .
Promotion and evacuation.
Profesor Eubanks v říši Dzéta
Proper moving average representations and outer functions in two variables.
A note on symmetric powers of the standard representation of .
Resonance surfaces for forced oscillators.
Bottom Schur functions.
Page 1 Next