In this paper we examine ways to verify reference nets, a class of high level Petri nets supported by the Renew tool. We choose to restrict reference nets to hypernets, another nets-within-nets model more suitable for verification purposes thanks to an expansion toward 1-safe Petri nets. The contribution of the paper is the implementation of such analysis techniques by means of a Renew plugin. ...

This contribution presents the formalism of Elementary Object Systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach known as the nets-within-nets paradigm. Since object nets in general are immediately Turing complete, we introduce the restricted class of elementary object nets which restrict the nesting of nets to the depth of two. One central aim of this contr...

Elementary Object Systems (EOS) is a class of Object Petri Nets that follows the “nets-within-nets” paradigm. It combines several practical as well as theoretical properties for the needs of multi-agent-systems. However, it comes with some constraints that limit their expressiveness for automatic verification purposes due to the highly expressive nature of the underlying class of Petri nets. In...

On the Nad Wawrem site in Złota, unique instances of stratigraphic sequences were recorded, involving materials linked to Globular Amphora culture and Corded Ware culture. This article discusses these presents hitherto unpublished that may contribute study decline Eneolithic Małopolska. The involve presence pottery belonging older phase pits related intercutting settlement features by graves. I...

Georeferenced databases contain a huge volume of temporal and spatial data. They are notably used in environmental analysis. Several works address the problem of mining those data, but none are able to take into account the richness of the data and especially their spatial and temporal dimensions. In this paper, we focus on the extraction of a new kind of spatio-temporal pattern, considering th...

We provide a semantic account of the free ordering of NP-internal elements in Chinese and argue that this provides evidence for the lack of DP in Chinese. We also extend this account to the Mandarin plural marker –men, tying the definiteness of –men phrases and its number/definiteness interaction to the classifier status of –men and the lack of DP in Chinese. We show that the binding properties...

Mapping data to a shared domain ontology is a key step in publishing semantic content on the Web. Most of the work on automatically mapping structured and semi-structured sources to ontologies focuses on semantic labeling, i.e., annotating data fields with ontology classes and/or properties. However, a precise mapping that fully recovers the intended meaning of the data needs to describe the se...

In the general case, at any aggregation level a behavioral specification for a multi-agent system component consists of dynamic properties expressed by complex temporal relations in TTL, which therefore does not allow direct application of automatic verification procedures, more specifically, model checking techniques, used in this paper. In order to apply model checking techniques it is needed...

Information sources such as spreadsheets and databases contain a vast amount of structured data. Understanding the semantics of this information is essential to automate searching and integrating it. Semantic models capture the intended meaning of data sources by mapping them to the concepts and relationships defined by a domain ontology. Most of the effort to automatically build semantic model...

The construct validity of maternal mind-mindedness (MM) was investigated in the context of its relations with children's later understanding of mind. MM measures were obtained from infant-mother (N = 52) interactions at 6 months, and from maternal interviews at 48 months. Children's understanding of mind was assessed using theory of mind (ToM) tasks at 45 and 48 months, and a stream of consciou...