Pages that link to "Item:Q5897963"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897963):
Displayed 13 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- Diagnosis from scenarios (Q481349) (← links)
- State observer for DES under partial observation with time Petri nets (Q839012) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
- Event clock message passing automata: a logical characterization and an emptiness checking algorithm (Q2248059) (← links)
- Checking conformance for time-constrained scenario-based specifications (Q2355682) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics (Q2822654) (← links)
- Branching Processes of Timed Petri Nets (Q3179184) (← links)
- Comparing Semantics Under Strong Timing of Petri Nets (Q3455089) (← links)
- The On-Line Diagnosis of Time Petri Nets (Q5496935) (← links)