Real-time specification using Petri nets
- 1 September 1993
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 38 (1-5) , 607-614
- https://doi.org/10.1016/0165-6074(93)90201-u
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Transformational implementation of PAISLey specifications using petri netsSoftware Engineering Journal, 1992
- Transnet: A method for transformational development of embedded softwareMicroprocessing and Microprogramming, 1991
- A unified high-level Petri net formalism for time-critical systemsIEEE Transactions on Software Engineering, 1991
- Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiterIEEE Transactions on Computers, 1989
- PROTEAN: a high-level Petri net tool for the specification and verification of communication protocolsIEEE Transactions on Software Engineering, 1988
- Process-translatable Petri nets for the rapid prototyping of process control systemsIEEE Transactions on Software Engineering, 1986
- Salient features of an executable specification language and its environmentIEEE Transactions on Software Engineering, 1986
- SREM at the Age of Eight; The Distributed Computing Design SystemComputer, 1985
- Timing Requirements for Time-Driven Systems Using Augmented Petri NetsIEEE Transactions on Software Engineering, 1983
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981