The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
For event filtering of publish/subscribe system, significant research efforts have been dedicated to techniques based on multiple one-dimensional indexes built on attributes of sub...
One of the main objectives for a rail company is to minimize the size of rail freight car fleet in order to reduce operating costs. The problem of rail freight car fleet compositio...
One of the key issues for implementing congestion pricing is the pricing granularity (i.e. pricing interval or timescale). The Internet traffic is highly variant and hard to cont...