A state class based controller synthesis approach for time Petri nets
From MaRDI portal
Publication:6535204
DOI10.1007/978-3-031-33620-1_21zbMATH Open1541.68253MaRDI QIDQ6535204
Didier Lime, Olivier H. Roux, Loriane Leclercq
Publication date: 16 November 2023
Applications of game theory (91A80) Synthesis problems (93B50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Complexity of some problems in Petri nets
- A theory of timed automata
- Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
- Maximally permissive controller synthesis for time Petri nets
- Supervisory Control of a Class of Discrete Event Processes
- On the synthesis of strategies in infinite games
- On the synthesis of discrete controllers for timed systems
- Symbolic Optimal Reachability in Weighted Timed Automata
- Control of Real-Time Systems With Integer Parameters
- Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
- State space computation and analysis of Time Petri Nets
- Automated Technology for Verification and Analysis
- Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
- Lectures on Concurrency and Petri Nets
- CONCUR 2005 – Concurrency Theory
- Romeo: a parametric model-checker for Petri nets with stopwatches
Related Items (2)
Title not available (Why is that?) ⋮ A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
This page was built for publication: A state class based controller synthesis approach for time Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535204)
