Marked directed graphs
From MaRDI portal
Publication:2552879
Cites work
- scientific article; zbMATH DE number 3174052 (Why is no real title available?)
- scientific article; zbMATH DE number 3343634 (Why is no real title available?)
- scientific article; zbMATH DE number 3356176 (Why is no real title available?)
- Marked directed graphs
- Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
- Scheduling Parallel Computations
Cited in
(97)- Receding horizon control for temporal logic specifications
- Tentative and definite distributed computations: An optimistic approach to network synchronization
- A decomposition theorem for finite persistent transition systems
- Automatic invariant generation for hybrid systems using ideal fixed points
- Reducibility of synchronization structures
- Explicit routing schemes for implementation of cellular automata on processor arrays
- Compositional generation of home states in free choice nets
- Comparison of overapproximation methods for stability analysis of networked control systems
- A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems
- Using timed Petri net to model instruction-level loop scheduling with resource constraints
- Step coverability algorithms for communicating systems
- Compositional analysis for linear control systems
- Succinct discrete time approximations of distributed hybrid automata
- Petri nets for the design and operation of manufacturing systems
- Distributed Kalman filter algorithms for self-localization of mobile devices
- A theory of bipolar synchronization scheme
- Complexity results for weighted timed event graphs
- Distinguishing between evidence and its explanations in the steering of atomic clocks
- Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
- Some behavioural aspects of net theory
- Modular discrete time approximations of distributed hybrid automata
- Timed I/O automata: a complete specification theory for real-time systems
- A connection between circular colorings and periodic schedules
- Marked directed graphs
- Stealthy deception attacks on water SCADA systems
- A decidability theorem for a class of vector-addition systems
- Analysis and identification of speed-independent circuits on an event model
- Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
- Unison, canon, and sluggish clocks in networks controlled by a synchronizer
- A note on transition systems
- A characterization of systems derived from terminating concurrent histories
- A Note on Persistent Petri Nets
- Sufficient conditions for the marked graph realisability of labelled transition systems
- Upper and lower bounds for stochastic marked graphs
- State space axioms for T-systems
- Reachability in cyclic extended free-choice systems
- Analysis of Petri nets by stepwise refinements
- Amir Pnueli and the dawn of hybrid systems
- On integration of event-based estimation and robust MPC in a feedback loop
- Linear time analysis of properties of conflict-free and general Petri nets
- The use of a synchronizer yields the maximum computation rate in distributed networks
- scientific article; zbMATH DE number 3612450 (Why is no real title available?)
- Relevance of network theory to models of distributed/parallel processing
- Regularity and firing sequences of computation graphs
- Data flow analysis of program nets
- (A-)synchronous (non)-deterministic cell spaces simulating each other
- Complexity results for 1-safe nets
- Decomposition Theorems for Bounded Persistent Petri Nets
- On the connections between PCTL and dynamic programming
- Asymptotic properties of stochastic timed event graphs
- Characterisation of the state spaces of marked graph Petri nets
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
- Synthesis and reengineering of persistent systems
- Oscillation analysis of linearly coupled piecewise affine systems
- Dynamic analysis of repetitive decision-free discrete-event processes: The algebra of timed marked graphs and algorithmic issues
- Normal Petri nets
- Accurate hybridization of nonlinear systems
- Identifiability of discrete-time linear switched systems
- Firing rate optimization of cyclic timed event graphs by token allocations
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- Periodic scheduling of marked graphs using balanced binary words
- Rank properties of Poincaré maps for hybrid systems with applications to bipedal walking
- Traps characterize home states in free choice systems
- Bayesian statistical model checking with application to Simulink/Stateflow verification
- On infinity norms as Lyapunov functions for piecewise affine systems
- A transformation of marked graphs
- Implementing dataflow with threads
- From synchronous programs to symbolic representations of hybrid systems
- Conditions for Petri net solvable binary words
- REGULAR STATE MACHINES
- Structure theory of multi-level deterministically synchronized sequential processes
- POC net, a subclass of Petri nets, and its application to timed Petri nets
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond
- Synthesis of Petri nets with restricted place-environments: classical and parameterized
- Notes on liveness and boundedness of extended strong asymmetric choice nets. II
- Timed automata with observers under energy constraints
- A comprehensive approach of planning and scheduling based on petri nets
- Some open problems in the design and use of modern production systems
- Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Safe compositional network sketches: formal framework
- A survey of siphons in Petri nets
- Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable
- Marking optimization of stochastic timed event graphs using IPA
- Bounded choice-free Petri net synthesis: algorithmic issues
- Timed event graph-based cyclic reconfigurable flow shop modelling and optimization
- Target-oriented Petri net synthesis
- An extension of the taxonomy of persistent and nonviolent steps
- A generating function approach to the stability of discrete-time switched linear systems
- Convergence results for ant routing algorithms viastochastic approximation
- On a control algorithm for time-varying processor availability
- Real-time scheduling of mixture-of-experts systems with limited resources
- Stabilization of planar switched linear systems using polar coordinates
- On the capabilities of systolic systems
- The power of prime cycles
- Kleene theorems for product systems
- Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues
- Modeling for Verification
This page was built for publication: Marked directed graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2552879)
