An Axiomatic Framework for Proving Correctness of Nets

Authors:
Ludwik Czaja
Affiliations:
Institute of Informatics, Warsaw University, Poland. E-mail: lczaja@mimuw.edu.pl
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Year:
2005

Citing 6
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Cause-effect structures

Information Processing Letters
Remarks on the equivalence of c-e structures and Petri nets

Information Processing Letters
Cause-effect structures—structural and semantic properties revisited

Fundamenta Informaticae
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination

Proceedings of the 8th Colloquium on Automata, Languages and Programming
Proving nets correct via cause-effect structures (an experiment)

Fundamenta Informaticae - Concurrency specification and programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.