Towards the formalisation of soft systems models using Petri net theory

IEE Proceedings: Control Theory and Applications

Volumn 145, Issue 5, 1998, Pages 463-471

  Sagoo, J S ^a   Boardman, J T ^b  

^a DEFENCE SCIENCE AND TECHNOLOGY LABORATORY   (United Kingdom)

^b DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

Petri net theory; Soft systems models; Systemigrams

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; PETRI NETS;

SOFT SYSTEMS; SYSTEMIGRAMS;

CONTROL SYSTEM ANALYSIS;

EID: 0032153999     PISSN: 13502379     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cta:19982234     Document Type: Article

References (17)

1. CHECKLAND, P.: 'Systems thinkinc, systems practice' (Wilev Chichester, 1981) J'
2. TSOUVALIS, C, and CHECKLAND, P.: 'Reflecting on SSM: the dividing line between 'real world' and 'systems thinking world", Sysl. Res., 1996, 13, (1), pp. 35-15
3. WILSON, B.: 'Systems: concepts, methodologies and applications' (Wiley, Chichester, 1984)
4. CHECKLAND, P., and SCHOLES, J.: 'Soft systems methodology in action' (Wiley, Chichester, 1990)
5. CHECKLAND, P.: 'Achieving 'desirable and feasible' change: an application of soft systems methodology', J. Oper. Res. Soc., 1993,36, pp. 821-831
6. GREGORY, F.H.: 'Cause, effect, efficiency and soft systems models', J. Oper. Res. Soc., 1993, 44, (4), pp. 333-344
7. PROBERT, S.K.: 'Logic and conceptual modelling in soft systems methodologies'.Proceedings of the conference on Theory, use ami intégralité aspects of IS méthodologies, 1993, (British Computer Society Information System Methodologies Special Interest Group), pp. 233-246
8. GREGORY, F.H.: 'Soft systems models for knowledge elicitation and representation', J. Oper. Res. Soc., 1995, 46, (5), pp. 562-578
9. MINKOWITZ, C.: 'Formal process modelling', Inf. Softn: TeclinoL, 1993, 35, (11-12), pp. 659-667
10. BOARDMAN, J.T., and COLE, A.J.: 'Integrated process improvement in design and manufacture using a systems approach', IEE Proc. D, Control Theory AppL. 1996, 143, (2), pp. 171-185
11. CLEGG, B.T., and BOARDMAN, J.T.: 'Process integration and improvement using systemic diagrams and a human-centred approach', Conciirr. Eng., Res. AppL, 1996, 4, (2), pp. 119-136
12. PETERSON, J.L.: 'Petri net theory and the modelling of systems' (Prentice-Hall, 1981)
13. REISIG, W.: 'Pétri nets: an introduction' (Springer-Verlag, 1985)
14. MURATA, T.: 'Pétri nets: properties, analysis and applications', Proc. IEEE, 1989, 77, pp. 541-577
15. JENSEN, K.: 'Coloured Petri nets: basic concepts, analysis methods and practical use, Vol. l' (Springer-Verlag, Berlin/Heidelberg, 1992)
16. SAKTHIVEL, S., and MOILY, J.P.: 'Analytical verification of information-system requirements using Petri net properties', Inf. Softw. Technoi. 1993, 35, (2), pp. 89-100
17. KROGH, B.H., and BECK, C.L.: 'Synthesis of place/transition nets for simulation and control of manufacturing systems'. Proceedings of the IFIP symposium on Large scale systems, Zurich, Switerzland, August 1986