Rapid prototyping of control systems using high level Petri nets

Authors:
Giorgio Bruno;Giuseppe Marchetto
Affiliations:
Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy;Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy
Venue:
ICSE '85 Proceedings of the 8th international conference on Software engineering
Year:
1985

Citing 5
Cited 1

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
Software Engineering: Problems and Perspectives

Computer - IEEE Centennial: the state of computing
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri Nets

International Workshop on Timed Petri Nets
A Requirements Engineering Methodology for Real-Time Processing Requirements

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a rapid prototyping methodology for the carrying out of control systems in which high level Petri nets provide the common framework to integrate the main phases of software development: specification, validation, performance evaluation, implementation.Petri nets are shown to be translatable into Ada program structures concerning processes and their synchronizations.