Loading...
Please wait, while we are loading the content...
Similar Documents
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
| Content Provider | CiteSeerX |
|---|---|
| Author | Mazzeo, A. Mazzocca, N. Russo, S. Vittorini, V. |
| Abstract | We describe an approach to the specification of concurrent systems which enables a Petri net model of a system to be built up in a systematic way starting from a trace-based CSP specification. This method enables the separate specification of the behaviour of each component (process) and their interactions in terms of the feasible sequences of events in which they can be involved. A set of rules is then applied to transform the trace-based specifications into a complete Petri net that is analysed and/or executed to validate system behaviour. The domain transformation procedure is fully automatable. The specification of a safety-critical railway control system is used as a case study. |
| File Format | |
| Volume Number | 13 |
| Journal | REAL TIME SYSTEMS |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Concurrent System Petri Net Systematic Approach Trace-based Csp Specification System Behaviour Feasible Sequence Separate Specification Petri Net Model Case Study Safety-critical Railway Control System Systematic Way Complete Petri Net Domain Transformation Procedure Trace-based Specification |
| Content Type | Text |
| Resource Type | Article |