Automated recognition of complex video events poses challenges related to: selection of formalisms for efficient event modeling and analysis, mapping semantic high-level concepts used in specifications on information extracted from video sequences, as well as managing uncertainty associated with this information. We propose Fuzzy Semantic Petri Nets (FSPN) as a tool aimed at solving the mention...

Europe 2045 is an on-line multi-player strategy game aimed at education of high-school students in economics, politics, and media studies. The essential feature of the game is that players face various simulated scenarios and crises addressing contemporary key issues of the unified Europe. These scenarios are branching and can evolve in a parallel manner. In this paper, we present a technique f...

In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the synthesis of Petri nets from (step) transition systems. Partial order semantics of a concrete net (of a certain type) usually are given by the set of labelled partial orders (LPOs) enabled w.r.t. the net. For classical p...

In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertainties: the particle Petri net. This model is based on a particle filtering-like representation of the probabilistic uncertainty on the continuous part of the procedure, and a possibilistic Petri net-inspired approach to ...

In diesem Beitrag wird eine Methode zur Generierung von Testfällen aus modellbasierten Verhaltensspezifikationen vorgestellt, wobei auch die Spezifikation von parallelem Verhalten unterstützt wird. Zur Realisierung werden etablierte Verfahren der Petri-Netz-Theorie und der constraintbasierten Programmierung benutzt. Auf der Grundlage eines entwickelten einfachen farbigen Petri-NetzModells (SPeN...

Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys. Formal models for public-key infrastructures (trust models) contribute decisively to a deeper understanding of the desirable design principles of these infrastructures. The trust model of the present paper is based o...

This paper presents a method for designing a coloured Petri net model of a system starting from its high-level object oriented source code. The entire process is divided into two parts: grounding and code analysis. For each part detailed step-by-step guidelines are given. The approach is illustrated with an industrial application case study, the NEO protocol.

In the areas of both safety and reliability analysis the precise modeling of complex technical systems during development and for evaluation purposes is of great importance. Traditionally, fault tree models have been used to accomplish this, and, more recently, stochastic Petri-net models have begun to be employed. To provide engineers with an intuitive high-level modeling interface to Petri-ne...

With any Petri net we associated its CPN language which consists of all sequences of transitions which reach a marking with an empty place whereas all proper prefixes of the sequence lead to positive markings. We prove that any CPN language can be accepted by a partially blind multicounter machine, and that any partially blind multicounter language is the morphic image of some CPN language. As ...

Convolutional neural networks have been proven effective in a variety of image restoration tasks. Most state-of-the-art solutions, however, are trained using images with single particular degradation level, and their performance deteriorates drastically when applied to other settings. In this paper, we propose deep likelihood network (DL-Net), aiming at generalizing off-the-shelf succeed over s...