*For the most recent entries see the
Petri Nets Newsletter.*

## Systems Specification, Analysis, and Validation by means of Timed Predicate/Transition Nets and Logic Programming.

Belli, F.;
Dreyer, J.
In:
*Proceedings of the Sixth Symposium on Software Reliability Engineering*, pages 68-77.
1995.

Abstract:
In this paper a method will be presented for systems design, specification
and analysis based on predicate/transition nets (PrT nets) and logic
programming. In order to evaluate and optimize the behavior of systems,
the PrT net models are extended with quantitative time. The firing times
are assigned to transitions and are given by arithmetic expressions which
might contain variables. An approach to transforming requirements driven
PrT net models into logic programs is given. The generated logic programs
contain the static structure and the dynamic behavior of the PrT net
models and can be used for simulation and analysis purposes. Moreover,
they can be viewed as a precise and lucid specification of the programs to
be implemented.

Three examples are given which illustrate how Prolog goals can be used to
validate system model properties. Example 1 describes the transformation
steps for simple PrT net models. In Example 2 the generated Prolog program
corresponding to a PrT net model containing formulae inside the
transitions is described. Example 3 illustrates how time constraints of
PrT net models with variable time can be validated.

Keywords:
Timed PrT nets; logic programming; systems specification; analysis;
validation; flexible manufacturing systems.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*