IFIP International Federation for Information Processing
DOI: 10.1007/1-4020-8149-9_26
|View full text |Cite
|
Sign up to set email alerts
|

A Petri Net Approach for The Design of Dynamically Modifiable Embedded Systems

Abstract: Abstract:A Petri net based approach for modeling dynamically modifiable embedded realtime systems is presented. The presented work contributes to the extension of a Petri net based design methodology for distributed embedded systems towards the handling of dynamically modifiable systems. Extensions to the underlying high-level Petri net model are introduced that allow for dynamic modifications of a net at run time.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Publication Types

Select...
4
1
1

Relationship

1
5

Authors

Journals

citations
Cited by 6 publications
(2 citation statements)
references
References 5 publications
0
2
0
Order By: Relevance
“…M 0 is the initial marking. However, though Petri net is well established for the design of static systems, it lacks support for dynamically modifiable systems [16]. In fact, the PN structure presents only the static properties of a system while the dynamic one results from PN execution which requires the use of tokens or markings (denoted by dots) associated with places [17].…”
Section: Petri Netmentioning
confidence: 99%
“…M 0 is the initial marking. However, though Petri net is well established for the design of static systems, it lacks support for dynamically modifiable systems [16]. In fact, the PN structure presents only the static properties of a system while the dynamic one results from PN execution which requires the use of tokens or markings (denoted by dots) associated with places [17].…”
Section: Petri Netmentioning
confidence: 99%
“…In our research group we developed a tool to specify High-Level Petri-nets [7]. The tool enable the generation of SystemC and Handel-C code for a given Petri-net, see [6].…”
Section: Project Descriptionmentioning
confidence: 99%