Recoverability of Communication Protocols--Implications of a Theoretical Study

Cited in

(61)

A generic causal model for place latency.
The synthesis of communication protocols
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
Approximated timed reachability graphs for the robust control of discrete event systems
A causal semantic for time Petri nets
Dynamic networks of timed Petri nets
A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios
On-the-fly \(TCTL\) model checking for time Petri nets
Scheduling and control of real-time systems based on a token player approach
Time-based expressivity of time Petri nets for system specification
Mapping timed cause-effect structures into timed Petri nets
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
Performance preserving equivalence for stochastic process algebra dtsdPBC
Concurrency and time in role-based access control
Fuzzy timed Petri nets - analysis and implementation
Fuzzy timed Petri net definitions, properties, and applications
A theory of implementation and refinement in timed Petri nets
Dealing with zero-time transitions in axiom systems.
Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system
Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
A process algebra of communicating shared resources with dense time and priorities
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
Equivalence relations for modular performance evaluation in dtsPBC
On the composition of time Petri nets
On fluidization of discrete event models: Observation and control of continuous Petri nets
Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net
Specification and analysis of timing requirements for real-time systems in the CBD approach
Verifying time Petri nets by linear programming
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
Verification of Timed-Arc Petri Nets
A brief survey and synthesis of the roles of time in Petri nets.
TIC: a tImed calculus
A control synthesis approach for time discrete event systems
Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
Contraction of the ITCPN state space
Efficient verification of a class of time Petri nets using linear programming
Time processes for time Petri nets
Faster asynchronous systems.
`True concurrency' semantics for time Petri nets with weak time and persistent atomic policies
Computing branching distances with quantitative games
State estimation for constant-time labeled automata under dense time
A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
An upper bound on the cycle time of a stochastic marked graph using incomplete information on the transition firing time distributions
Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
Performance evaluation in stochastic process algebra dtsdPBC
Decentralized state estimation and diagnosis of p-time labeled Petri nets systems
Flexible nets: a modeling formalism for dynamic systems with uncertain parameters
Discrete time stochastic and deterministic Petri box calculus dtsdPBC
Model checking of systems with many identical timed processes
Petri net‐based modeling and performance analysis of transaction scheduling in grid database
Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
CTL* model checking for time Petri nets
Petri nets for modelling metabolic pathways: a survey
A wide-spectrum language for object-based development of real-time systems
Causal behaviours and nets
Qualitative simulation of temporal concurrent processes using time interval Petri nets
Liveness enforcement for production systems modeled by time Petri nets

This page was built for publication: Recoverability of Communication Protocols--Implications of a Theoretical Study

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