Elements of general net theory

Genrich, Hartmann J.; Lautenbach, Kurt; Thiagarajan, P. S.

doi:10.1007/3-540-10001-6_22

Cited by 111 publications

(26 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…59-61). In this paper we present a modelling approach that contributes to points (1), (3), (4), (5), (7), (10) and (11). We are primarily interested in a bottom-up, behaviour driven and not in a top-down, theory driven approach.…”

Section: Introductionmentioning

confidence: 99%

From Novice to Expert Decision Behaviour: a Qualitative Modelling Approach with Petri Nets.

Rauterberg¹

1995

Advances in Human Factors/Ergonomics

View full text Add to dashboard Cite

Section: Introductionmentioning

confidence: 99%

From Novice to Expert Decision Behaviour: a Qualitative Modelling Approach with Petri Nets.

Rauterberg¹

1995

Advances in Human Factors/Ergonomics

View full text Add to dashboard Cite

“…Previously proposed place capacity concepts are different generalisations of the place capacity construct of P/T-nets to cover high level nets, see, e.g., [GLT79], [Res85] or [Dev89]. As they have all proved to be useful from a practical point of view for different modelling purposes, we want to define a place capacity concept for CP-nets general enough to cover all of them.…”

Section: Informal Introduction To Place Capacitiesmentioning

confidence: 99%

Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs

Christensen¹,

Hansen²

1992

DPB

View full text Add to dashboard Cite

In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives-place capacities, test arcs and inhibitor arcs. The new modelling primitives are introduced to improve the possibilities of creating models that are on the one hand compact and comprehensive and on the other hand easy to develop, understand and analyse. A number of different place capacity and inhibitor concepts have been suggested earlier, e.g., integer and multi-set capacities and zero-testing and threshold inhibitors. These concepts can all be described as special cases of the more general place capacity and inhibitor concepts defined in this paper. We give an informal description of the new concepts and show how the concepts can be formally defined and integrated in the Petri net framework-keeping the basic properties of CP-nets. In contrast to a number of the previously suggested extensions to CP-nets the new modelling primitives preserve the concurrency properties of CP-nets. We show how CP-nets with place capacities, test arcs and inhibitor arcs can be transformed into behaviourally equivalent CP-nets without these primitives. From this we conclude that the basic properties of CP-nets are preserved and that the theory developed for CP-nets can be applied to the extended CP-nets. This means that, e.g., the generalisations of analysis methods of CP-nets to cover the new modelling primitives are straightforward.The reader is assumed to be familiar with the notion of CP-nets.

show abstract

“…Petri nets can be interpreted in our context by using a suitable pair of concepts for the sets S (signified by a circle or an oval '( )', where an oval means original behaviour) and T (signified by a square '[ ]') and a suitable interpretation for the flow relation F (signified by an arrow '->'). The main operations (relations) between two Petri nets are abstraction, embedding and folding [3]. The folding operation in the Petri-net theory is the basic idea of the approach presented in this paper.…”

Section: The Measurement Of Complexitymentioning

confidence: 99%

How to model behavioural and cognitive complexity in human-computer interaction with Petri nets

Rauterberg

Schluep²,

Fjeld³

Proceedings 6th IEEE International Workshop on Robot and Human Communication. RO-MAN'97 SENDAI

View full text Add to dashboard Cite

show abstract

Elements of general net theory

Cited by 111 publications

References 10 publications

From Novice to Expert Decision Behaviour: a Qualitative Modelling Approach with Petri Nets.

From Novice to Expert Decision Behaviour: a Qualitative Modelling Approach with Petri Nets.

Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs

How to model behavioural and cognitive complexity in human-computer interaction with Petri nets

Contact Info

Product

Resources

About