Proof Nets and the Complexity of Processing Center-Embedded Constructions

This paper shows how proof nets can be used to formalize the notion of ``incomplete dependency'' used in psycholinguistic theories of the unacceptability of center-embedded constructions. Such theories of human language processing can usually be restated in terms of geometrical constraints on proof nets. The paper ends with a discussion of the relationship between these constraints and incremental semantic interpretation.Comment: To appear in Proceedings of LACL 95; uses epic.sty, eepic.sty, rotate.st

Event structures for Petri nets with persistence

Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played by an unfolding construction that maps (safe) Petri nets into a subclass of event structures, called prime event structures, where each event has a uniquely determined set of causes. Prime event structures, in turn, can be identified with their domain of configurations. At a categorical level, this is nicely formalised by Winskel as a chain of coreflections. Contrary to prime event structures, general event structures allow for the presence of disjunctive causes, i.e., events can be enabled by distinct minimal sets of events. In this paper, we extend the connection between Petri nets and event structures in order to include disjunctive causes. In particular, we show that, at the level of nets, disjunctive causes are well accounted for by persistent places. These are places where tokens, once generated, can be used several times without being consumed and where multiple tokens are interpreted collectively, i.e., their histories are inessential. Generalising the work on ordinary nets, Petri nets with persistence are related to a new subclass of general event structures, called locally connected, by means of a chain of coreflections relying on an unfolding construction

On the Hardness of Bribery Variants in Voting with CP-Nets

We continue previous work by Mattei et al. (Mattei, N., Pini, M., Rossi, F., Venable, K.: Bribery in voting with CP-nets. Ann. of Math. and Artif. Intell. pp. 1--26 (2013)) in which they study the computational complexity of bribery schemes when voters have conditional preferences that are modeled by CP-nets. For most of the cases they considered, they could show that the bribery problem is solvable in polynomial time. Some cases remained open---we solve two of them and extend the previous results to the case that voters are weighted. Moreover, we consider negative (weighted) bribery in CP-nets, when the briber is not allowed to pay voters to vote for his preferred candidate.Comment: improved readability; identified Cheapest Subsets to be the enumeration variant of K.th Largest Subset, so we renamed it to K-Smallest Subsets and point to the literatur; some more typos fixe

A coalgebraic semantics for causality in Petri nets

In this paper we revisit some pioneering efforts to equip Petri nets with compact operational models for expressing causality. The models we propose have a bisimilarity relation and a minimal representative for each equivalence class, and they can be fully explained as coalgebras on a presheaf category on an index category of partial orders. First, we provide a set-theoretic model in the form of a a causal case graph, that is a labeled transition system where states and transitions represent markings and firings of the net, respectively, and are equipped with causal information. Most importantly, each state has a poset representing causal dependencies among past events. Our first result shows the correspondence with behavior structure semantics as proposed by Trakhtenbrot and Rabinovich. Causal case graphs may be infinitely-branching and have infinitely many states, but we show how they can be refined to get an equivalent finitely-branching model. In it, states are equipped with symmetries, which are essential for the existence of a minimal, often finite-state, model. The next step is constructing a coalgebraic model. We exploit the fact that events can be represented as names, and event generation as name generation. Thus we can apply the Fiore-Turi framework: we model causal relations as a suitable category of posets with action labels, and generation of new events with causal dependencies as an endofunctor on this category. Then we define a well-behaved category of coalgebras. Our coalgebraic model is still infinite-state, but we exploit the equivalence between coalgebras over a class of presheaves and History Dependent automata to derive a compact representation, which is equivalent to our set-theoretical compact model. Remarkably, state reduction is automatically performed along the equivalence.Comment: Accepted by Journal of Logical and Algebraic Methods in Programmin

Finite petri nets as models for recursive causal behaviour

Goltz (1988) discussed whether or not there exist finite Petri nets (with unbounded capacities) modelling the causal behaviour of certain recursive CCS terms. As a representative example, the following term is considered: \ud \ud B=(a.nilb.B)+c.nil. \ud \ud We will show that the answer depends on the chosen notion of behaviour. It was already known that the interleaving behaviour and the branching structure of terms as B can be modelled as long as causality is not taken into account. We now show that also the causal behaviour of B can be modelled as long as the branching structure is not taken into account. However, it is not possible to represent both causal dependencies and the behaviour with respect to choices between alternatives in a finite net. We prove that there exists no finite Petri net modelling B with respect to both pomset trace equivalence and failure equivalence

Variable grouping in multivariate time series via correlation

The decomposition of high-dimensional multivariate time series (MTS) into a number of low-dimensional MTS is a useful but challenging task because the number of possible dependencies between variables is likely to be huge. This paper is about a systematic study of the “variable groupings” problem in MTS. In particular, we investigate different methods of utilizing the information regarding correlations among MTS variables. This type of method does not appear to have been studied before. In all, 15 methods are suggested and applied to six datasets where there are identifiable mixed groupings of MTS variables. This paper describes the general methodology, reports extensive experimental results, and concludes with useful insights on the strength and weakness of this type of grouping metho

Compositional modelling using Petri nets with the analysis power of stochastic hybrid processes

A general stochastic hybrid process (GSHP) is a mathematical formalism that covers most of the requirements posed by the modelling of complex operations, such as time dependencies, multi-dimensional continuous as well as discrete processes, discontinuities, randomness and model uncertainties. In addition, it is possible to study GSHP by using stochastic analysis methodologies, thereby empowering it with powerful mathematical properties. This guarantees unambiguous simulation possibility of the model and allows speeding up this simulation while keeping the model properties intact. However, using GSHP to construct a model of a complex operation is not easy. To support the modelling and the subsequent verification both by mathematical and by multiple operational domain experts, a supporting graphical modelling formalism is desired. Petri nets have shown to be useful for developing models of various complex applications. Typical Petri net features are concurrency and synchronisation mechanism, hierarchical and modular construction, and natural expression of causal dependencies, in combination with graphical and analytical representations.\ud \ud The aim of this thesis is to combine the strengths of Petri net modelling formalisms and those of GSHP. First, dynamically coloured Petri nets (DCPN) are developed, and proof of equivalence is provided with piecewise deterministic Markov processes, which is a particular class of GSHP. Next, DCPN are extended to stochastically and dynamically coloured Petri nets (SDCPN), and proof of equivalence is provided with GSHP. Subsequently, SDCPN are extended to SDCPN with interconnection mapping types (SDCPNimt) and proof of equivalence is provided with both SDCPN and GSHP. It is shown with illustrative air transport examples that these three classes of Petri net are very effective when it comes to the compositional modelling of operations consisting of many distributed components that behave and interact in a dynamic way with many uncertainties. With the equivalence relations between these formalisms, the properties and strengths of the various approaches are combined. The many applications of the approach developed in this thesis, executed at NLR and beyond, show that both the approach and its combined strengths are acknowledged and supported by practice