Giving semantics to SA/RT by means of high-level timed Petri nets
- 1 May 1993
- journal article
- research article
- Published by Springer Nature in Real-Time Systems
- Vol. 5 (2-3) , 249-271
- https://doi.org/10.1007/bf01088591
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- High-Level Timed Petri Nets as a kernel for executable specificationsReal-Time Systems, 1993
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- A unified high-level Petri net formalism for time-critical systemsIEEE Transactions on Software Engineering, 1991
- The transformation schema: An extension of the data flow diagram to represent control and timingIEEE Transactions on Software Engineering, 1986