English
Related papers

Related papers: A new operational representation of dependencies i…

200 papers

By adequate employing of complex event processing (CEP), valuable information can be extracted from the underlying complex system and used in controlling and decision situations. An example application area is management of IT systems for…

Software Engineering · Computer Science 2012-08-02 Istvan David

Petri nets are an established graphical formalism for modeling and analyzing the behavior of systems. An important consideration of the value of Petri nets is their use in describing both the syntax and semantics of modeling formalisms.…

Software Engineering · Computer Science 2018-10-24 Sabah Al-Fedaghi , Dana Shbeeb

Event management in sensor networks is a multidisciplinary field involving several steps across the processing chain. In this paper, we discuss the major steps that should be performed in real- or near real-time event handling including…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-16 Vassilis Papataxiarhis , Stathes Hadjiefthymiades

Petri net unfoldings are a useful tool to tackle state-space explosion in verification and related tasks. Moreover, their structure allows to access directly the relations of causal precedence, concurrency, and conflict between events.…

Logic in Computer Science · Computer Science 2011-06-08 Stefan Haar , Christian Kern , Stefan Schwoon

Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding…

Discrete Mathematics · Computer Science 2018-02-14 Julia Padberg

Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics. We develop…

Logic in Computer Science · Computer Science 2023-06-22 Hernán Melgratti , Claudio Antares Mezzina , Irek Ulidowski

We conduct a review to assess how the simulation of repeated or recurrent events are planned. For such multivariate time-to-events, it is well established that the underlying mechanism is likely to be complex and to involve in particular…

Applications · Statistics 2015-03-20 Juliette Pénichoux , Thierry Moreau , Aurélien Latouche

The transmission or reception of packets passing between computers can be represented in terms of time-stamped events and the resulting activity understood in terms of point-processes. Interestingly, in the disparate domain of neuroscience,…

Applications · Statistics 2017-11-28 Alex Gibberd , Jordan Noble , Edward Cohen

Named entity recognition (NER), which focuses on the extraction of semantically meaningful named entities and their semantic classes from text, serves as an indispensable component for several down-stream natural language processing (NLP)…

Computation and Language · Computer Science 2018-10-23 Zhanming Jie , Aldrian Obaja Muis , Wei Lu

It is well known that the complex system operation requires the use of new scientific tools and computer simulation. This paper presents a modular approach for modeling and analysis of the complex systems (in communication or transport…

Systems and Control · Computer Science 2017-03-22 Janetta Culita , Simona Caramihai , Calin Munteanu

In human-robot interaction, robots must communicate in a natural and transparent manner to foster trust, which requires adapting their communication to the context. In this paper, we propose using Petri nets (PNs) to model contextual…

Robotics · Computer Science 2025-09-18 Görkem Kılınç Soylu , Neziha Akalin , Maria Riveiro

Despite the number of NLP studies dedicated to thematic fit estimation, little attention has been paid to the related task of composing and updating verb argument expectations. The few exceptions have mostly modeled this phenomenon with…

Computation and Language · Computer Science 2017-10-04 Emmanuele Chersoni , Enrico Santus , Philippe Blache , Alessandro Lenci

Interacting systems are increasingly common. Many examples pervade our everyday lives: automobiles, aircraft, defense systems, telephone switching systems, financial systems, national governments, and so on. Closer to computer science,…

Software Engineering · Computer Science 2015-04-10 Paul C. Jorgensen

This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri nets. It is implemented as a collection of independent,…

Logic in Computer Science · Computer Science 2015-08-21 Eike Best , Uli Schlachter

This paper is motivated by the desire to study package management using the toolkit of the semantics of functional languages. As it transpires, this is deeply related to the semantics of concurrent computation. The models we produce are not…

Logic in Computer Science · Computer Science 2020-04-14 Gershom Bazerman , Raymond Puzio

Robust and flexible event representations are important to many core areas in language understanding. Scripts were proposed early on as a way of representing sequences of events for such understanding, and has recently attracted renewed…

Computation and Language · Computer Science 2017-11-22 Noah Weber , Niranjan Balasubramanian , Nathanael Chambers

Relational event data, which consist of events involving pairs of actors over time, are now commonly available at the finest of temporal resolutions. Existing continuous-time methods for modeling such data are based on point processes and…

Methodology · Statistics 2018-06-21 Wesley Lee , Bailey K. Fosdick , Tyler H. McCormick

Debugging of large software systems consisting of many processes accessing shared resources is a very difficult task. Many commercial systems record essential events during system execution for post-mortem analysis. However, the event…

Software Engineering · Computer Science 2007-05-23 Raymond Smith , Bogdan Korel

With the rise of data-centric process management paradigms, interdependent processes, such as artifacts or object lifecycles, form a business process through their interactions. Coordination processes may be used to coordinate these…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-12-16 Sebastian Steinau , Kevin Andrews , Manfred Reichert

This paper describes a novel approach for the flexible development of dependable automation services applied to a case study taken from requirements of energy automation systems. It shows first how the use of a custom compositional recovery…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-04 Vincenzo De Florio , Susanna Donatelli , Giovanna Dondossola