Pr/T-Net based seamless design of embedded real-time systems

DOI10.1007/3-540-45740-2_20MaRDI QIDQ4535795zbMATH OpenFDO

Authors Carsten Rust, Jürgen Tacken, Carsten Böke

Publication date 16 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45740-2_20

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A method for prepartitioning of Petri net models for parallel embedded real-time systems
• Design and analysis of embedded systems with RTCP-nets.
• scientific article; zbMATH DE number 2088660
• Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
• Modeling of real-time scheduling for distributed embedded systems

Cited in

(6)

• Skeleton abstraction for universal temporal properties
• Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
• A method for prepartitioning of Petri net models for parallel embedded real-time systems
• Skeleton Abstraction for Universal Temporal Properties
• Design and analysis of embedded systems with RTCP-nets.
• Modeling distributed real-time applications with Specification PEARL

This page was built for publication: Pr/T-Net based seamless design of embedded real-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535795)