Determinization of timed Petri nets behaviors

DOI10.1007/S10626-015-0214-1MaRDI QIDQ312642zbMATH OpenOpenAlexFDO

Authors Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Publication date 16 September 2016

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-015-0214-1

zbMATH Keywords

\((\max, +)\) automatadeterminizationtimed Petri nets

Mathematics Subject Classification ID

Max-plus and related algebras (15A80) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Recommendations

• Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics
• scientific article; zbMATH DE number 4076638
• On the determinization of timed systems
• A causal semantic for time Petri nets
• scientific article; zbMATH DE number 4143457

Cites work

• \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems
• A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
• A theory of timed automata
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Blending timed formal models with clock transition systems
• Compositions of (max,+) automata
• Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
• Determinization of timed Petri nets behaviors
• Discrete, Continuous, and Hybrid Petri Nets
• Efficient implementation of fairness in discrete-event systems using queues
• Feedback control of Petri nets based on place invariants
• scientific article; zbMATH DE number 408813 (Why is no real title available?)
• Modeling and analysis of timed Petri nets using heaps of pieces
• On supervisory policies that enforce global fairness and bounded fairness in partially controlled Petri nets
• Performance evaluation of (max,+) automata
• Sequential?
• Supervisory control of \((\max,+)\) automata: a behavioral approach
• Supervisory Control of Petri Nets with Language Specifications

Cited in

(8)

• On the determinization of timed systems
• Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics
• Initial-state detectability and initial-state opacity of unambiguous weighted automata
• scientific article; zbMATH DE number 1696456 (Why is no real title available?)
• scientific article; zbMATH DE number 2088661 (Why is no real title available?)
• Determinization of timed Petri nets behaviors
• Two-staged approach for estimation of sequences in partially observable P-time Petri nets on a sliding horizon with schedulability analysis
• A survey on performance evaluations in time-dependent Petri nets

This page was built for publication: Determinization of timed Petri nets behaviors

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