In his paper 'Beyond Programming Languages' T. Winograd [1] claims that for modelling complex systems sometimes one needs a temporary suppression of details. In particular, he focuses his attention on the need of a clear distinction between the "normal" behaviour of a system, and its more complex behaviour for handling exceptions and possible faults. That is, the relative simplicity of the specification of the first one should not be overloaded with all the details necessary for handling erroneus situations. We also have realized recently the usefulness of such guidelines when we have undertaken the specification and modelling of some case studies in the framework of the ESPRIT BRA #3148 DEMON (DEsign Methods based On Nets). The considered systems [2] are composed of distributed components which synchronize their behaviour to do the job: examples are a Telephon Switching System, a Flexible Manifacturing System, the Lift and the Distributed Termination Problem. Once more we have found that the problem descriptions in general mix the specification of the routine (or normal or standard) cases with the specification of some exceptions and with the requirement of handling possible faults of some system components. This mix makes the
[1]
Lucia Pomello,et al.
Some equivalence notions for concurrent systems. An overview
,
1985,
Applications and Theory in Petri Nets.
[2]
Carla Simone,et al.
A state transformation preorder over a class of EN systems
,
1991,
Applications and Theory of Petri Nets.
[3]
Grzegorz Rozenberg.
Advances in Petri Nets 1987
,
1986,
Lecture Notes in Computer Science.
[4]
潮 俊光.
12th International Conference on Application and Theory of Petri Nets に参加して
,
1992
.
[5]
Rüdiger Valk.
Self-Modifying Nets, a Natural Extension of Petri Nets
,
1978,
ICALP.
[6]
Terry Winograd,et al.
Beyond programming languages
,
1979,
CACM.
[7]
Maciej Koutny,et al.
A Model for Dynamically Structured Communicating Systems
,
1987
.
[8]
Wolfgang Reisig,et al.
Application and Theory of Petri Nets
,
1982,
Informatik-Fachberichte.