An Axiomatic Framework for Proving Correctness of Nets

• Autorzy: Czaja L.
• Języki publikacji: EN

Abstrakty

EN

A method of constructing net (cause-effect structure and Petri net) from a specification given as an axiomatic system and proving behaviour of the net to conform to the specification is presented and illustrated by two examples.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2005
• Tom: Vol. 67, nr 1-3
• Strony: 45--64
• Opis fizyczny: Bibliogr. 9 poz., wykr.

Twórcy

autor

Czaja L.

• Institute of Informatics Warsaw University, Poland,

Bibliografia

• [Chm 2003] Chmielewski R.E. Symulacja struktur przyczynowo-skutkowych z wykorzystaniem platformy .NET (Simulation of cause-effect structures using .NET platform), M.Sc. Thesis, Institute of Informatics, Warsaw University, 2003
• [Cza 1988] Czaja L., Cause-Effect Structures, Information Processing Letters, 26, Jan.1988, pp. 313-319
• [Cza 1998] Czaja L., Cause-Effect Structures - Structural and Semantic Properties Revisited, Fundamenta Informaticae Vol. 33, N. 1, January 1998, pp. 17-42
• [Cza 2003] Czaja L., Proving Nets Correct via Cause-Effect Structures (An Experiment), Fundamenta Informaticae, vol.54, Numbers 2,3, February 2003, pp. 165-183
• [Des 1985] Desel J., Another Boatman Story, Petri Nets and Related System Models, Newsletter 22, October 1985
• [Dij 1971] Dijkstra E.W., Hierarchical ordering of sequential processes. Acta Informatica, 1 (1971) pp, 115-138
• [Le-Pn-St 81] Lehmann D., Pnueli A., Stavi J., Impartiality, justice, fairness: The ethics of concurrent termination, in Automata, Languages and Programming (S.Eve and D.Kariv eds.), LNCS 115, 1981, pp. 264-277
• [Rac 1993] Raczunas M. Remarks on the equivalence of c-e structures and Petri nets, Information Proc. Letters, 45 (1993) pp. 165-169
• [Rei 1985] Reisig W., Petri Nets. An Introduction, Number 4 in EATCS Monographs on Theoretical Computer Science, Springer, Berlin-Heidelberg-New York, Tokyo, 1985