A Systematic Approach to the Petri Net Based Specificationof Concurrent Systems

Authors:
Antonino Mazzeo;Nicola Mazzocca;Stefano Russo;Valeria Vittorini
Affiliations:
Dipartimento di Informatica e Sistemistica, Università di Napoli Via Claudio 21, 80125 Napoli, Italy;Dipartimento di Informatica e Sistemistica, Università di Napoli Via Claudio 21, 80125 Napoli, Italy;Dipartimento di Informatica e Sistemistica, Università di Napoli Via Claudio 21, 80125 Napoli, Italy;Dipartimento di Informatica e Sistemistica, Università di Napoli Via Claudio 21, 80125 Napoli, Italy
Venue:
Real-Time Systems - Special issue on safety-critical systems
Year:
1997

Citing 6
Cited 1

Communicating sequential processes

Communicating sequential processes
Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems

IEEE Transactions on Software Engineering
Safety Analysis Using Petri Nets

IEEE Transactions on Software Engineering
From CSP Models to Markov Models

IEEE Transactions on Software Engineering
Software architecture of the EPOCA integrated environment

Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Analysis of railway stations by means of interval timed coloured Petri nets

Real-Time Systems

Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems

IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe an approach to the specification of concurrentsystems which enables a Petri net model of a system to be builtup in a systematic way starting from a trace-based CSP specification.This method enables the separate specification of the behaviorof each component (process) and their interactions in terms ofthe feasible sequences of events in which they can be involved.A set of rules is then applied to transform the trace-based specificationsinto a complete Petri net that is analyzed and/or executed tovalidate system behavior. The domain transformation procedureis fully automatable. The specification of a safety-criticalrailway control system is used as a case study.