RT-ASLAN: A specification language for real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
“Forgotten topics” of net theory
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Specifying functional and timing behavior for real-time applications
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Stepwise construction of non-sequential software systems using a net-based specification language
Advances in Petri Nets 1984
Clocks and their use for time modeling
Trends in information systems
Types and modules for net specifications
Concurrency and nets: advances in Petri nets
Using higher-order logic for modular specification of real-time distributed systems
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Applications of temporal logic to the specification of real time systems (extended abstract)
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Software engineering with abstractions
Software engineering with abstractions
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Petri nets and algebraic specifications
Theoretical Computer Science
High-level Petri nets: theory and application
High-level Petri nets: theory and application
A Computer-Aided Prototyping System
IEEE Software
Knowledge-Based Support for Rapid Software Prototyping
IEEE Expert: Intelligent Systems and Their Applications
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Parallel systems specitications with coloured Petri nets and algebraic specifications
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Semantics, composition and net properties of algebraic high-level nets
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
An interleaving model for real time.
An interleaving model for real time.
Software merge: semantics of combining changes to programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification-based prototyping for embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Automated prototyping tool-kit (APT)
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Software engineering: Systems and tools
Evolutionary Computer Aided Prototyping System (CAPS)
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
DCAPS - Architecture for Distributed Computer Aided Prototyping System
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
| Hi-index | 0.00 |
The formal semantics of a prototyping language for hard real-time systems, PSDL, is given. PSDL provides a data flow notation augmented by application-orientation timing and control constraints to describe a system as a hierarchy of networks of processing units communicating via data streams. The semantics of PSDL are defined in terms of algebraic high-level Petri nets. This formalism combines algebraic specifications of abstract data types with process and concurrency concepts of Petri nets. Its data abstraction facilities are used to define the meaning of PSDL data types, while high-level Petri nets serve to model the casual and timing behavior of a system. The net model exposes potential concurrency of computation and makes all synchronization needs implied by timing and control constraints explicit and precise. Time is treated as state of clocks, and clocks are modeled as ordinary system components. The net semantics provides the basis for applying analysis techniques and semantic tools available for high-level Petri nets.