The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

Abstract Reaction Systems (RSs) are a successful computational framework inspired by
biological systems. RSs can involve a large number of reactions and entities, which makes it …

Trace exploration is concerned with techniques that allow computation traces to be
dynamically searched for specific contents. Depending on whether the exploration is carried …

Understanding the behavior of software is important for the existing software to be improved.
In this paper, we present a trace slicing technique that is suitable for analyzing complex …

Trace slicing is a widely used technique for execution trace analysis that is effectively used
in program debugging, analysis and comprehension. In this paper, we present a backward …

In this paper, we present a trace slicing technique for rewriting logic that is suitable for
analyzing complex, textually-large system computations in rewrite theories that may contain …

Trace inspection is concerned with techniques that allow the trace content to be searched for
specific components. This paper presents a rich and highly dynamic, parameterized …

Trace slicing is a transformation technique that reduces the size of execution traces for the
purpose of program analysis and debugging. Based on the appropriate use of antecedents …

Petri nets have been widely used for decades as a method to model parallel processes,
particularly in the field of systems biology. Over time, the basic formalism of Petri nets has …

This paper presents a parameterized technique for the inspection of Rewriting Logic
computations that allows the non-deterministic execution of a given rewrite theory to be …