Pages that link to "Item:Q4136583"
From MaRDI portal
The following pages link to Recoverability of Communication Protocols--Implications of a Theoretical Study (Q4136583):
Displayed 50 items.
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} (Q440685) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- On the composition of time Petri nets (Q645045) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems (Q765470) (← links)
- Qualitative simulation of temporal concurrent processes using time interval Petri nets (Q814432) (← links)
- Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty (Q862989) (← links)
- Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations (Q975398) (← links)
- Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (Q1041294) (← links)
- The synthesis of communication protocols (Q1098296) (← links)
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- TIC: a tImed calculus (Q1261314) (← links)
- Mapping timed cause-effect structures into timed Petri nets (Q1264589) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- Faster asynchronous systems. (Q1401952) (← links)
- A causal semantic for time Petri nets (Q1575828) (← links)
- A brief survey and synthesis of the roles of time in Petri nets. (Q1597067) (← links)
- Efficient verification of a class of time Petri nets using linear programming (Q1603403) (← links)
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games (Q1706770) (← links)
- A generic causal model for place latency. (Q1853520) (← links)
- Model checking of systems with many identical timed processes (Q1853589) (← links)
- Dealing with zero-time transitions in axiom systems. (Q1854267) (← links)
- A wide-spectrum language for object-based development of real-time systems (Q1961818) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Decentralized state estimation and diagnosis of p-time labeled Petri nets systems (Q2058497) (← links)
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters (Q2177765) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- Approximated timed reachability graphs for the robust control of discrete event systems (Q2330041) (← links)
- CTL* model checking for time Petri nets (Q2368992) (← links)
- An upper bound on the cycle time of a stochastic marked graph using incomplete information on the transition firing time distributions (Q2389938) (← links)
- Scheduling and control of real-time systems based on a token player approach (Q2393143) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Fuzzy timed Petri nets - analysis and implementation (Q2473102) (← links)
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties (Q2481211) (← links)
- Fuzzy timed Petri net definitions, properties, and applications (Q2486809) (← links)
- A control synthesis approach for time discrete event systems (Q2489593) (← links)
- Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system (Q2637309) (← links)
- Specification and analysis of timing requirements for real-time systems in the CBD approach (Q2642537) (← links)
- `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies (Q2664520) (← links)
- Contraction of the ITCPN state space (Q2842567) (← links)
- Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC. (Q2842581) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Concurrency and Time in Role-Based Access Control (Q3558779) (← links)
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (Q3617740) (← links)
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets (Q4671274) (← links)