Specification and verification of distributed systems using prolog interpreted petri nets.

Authors:
Pierre Azema;Guy Juanole;Eric Sanchis;Michel Montbernard
Affiliations:
-;-;-;-
Venue:
ICSE '84 Proceedings of the 7th international conference on Software engineering
Year:
1984

Citing 3
Cited 8

Logic for problem-solving

Logic for problem-solving
Formal verification of parallel programs

Communications of the ACM
Design and verification of communication procedures: A bottom-up approach

ICSE '78 Proceedings of the 3rd international conference on Software engineering

Using Flat Concurrent Prolog in System Modeling

IEEE Transactions on Software Engineering
An Executable Language for Modeling Simple Behavior

IEEE Transactions on Software Engineering
Observer-A Concept for Formal On-Line Validation of Distributed Systems

IEEE Transactions on Software Engineering
Translation of modified predicate transition nets models of cummunication protocols into simulation programs

WSC '86 Proceedings of the 18th conference on Winter simulation
On executable models for rule-based prototyping

ICSE '85 Proceedings of the 8th international conference on Software engineering
Implementing a DSP-Based Petri-Net Simulation Tool

IEEE Micro
Modeling the software process using coordination rules

WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Petri Net Tools For The Analysis Of Collaborative Tasks

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formal description technique for distributed systems. The basic choices concern Petri Nets as a modeling tool and PROLOG as a programming environment. The key elements of the introduced approach are a symbolic interpreter for Predicate Transition Nets, and a technique for interfacing concurrent processes. Several illustrative examples are provided.