Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis

DOI10.1007/S10626-021-00347-ZMaRDI QIDQ2128086zbMATH OpenOpenAlexFDO

Authors Karen Godary-Dejean, Hélène Leroux, David Andreu

Publication date 21 April 2022

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

Full work available at URL https://doi.org/10.1007/s10626-021-00347-z

zbMATH Keywords

bisimulationcritical embedded systemsimplementation of Petri netssynchronous time Petri nets semantics

Mathematics Subject Classification ID

Medical applications (general) (92C50) Discrete event control/observation systems (93C65)

Recommendations

• scientific article; zbMATH DE number 1751909
• Formalization of Petri nets with clocks
• A brief survey and synthesis of the roles of time in Petri nets.
• scientific article; zbMATH DE number 2088660
• A theory of implementation and refinement in timed Petri nets

Cites work

• A concurrency-preserving translation from time Petri nets to networks of timed automata
• An automatic technique for checking the simulation of timed systems
• Analysis issues in Petri nets with inhibitor arcs
• Automated Technology for Verification and Analysis
• Bounded parametric verification for distributed time Petri nets with discrete-time semantics
• Boundedness undecidability for synchronized nets
• Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
• Computer Aided Verification
• Confusion diagnosis and control of discrete event systems using synchronized Petri nets
• Design of regulatory traffic light control systems with synchronized timed Petri nets
• Expressiveness of Petri nets with stopwatches. Discrete-time part
• scientific article; zbMATH DE number 1646978 (Why is no real title available?)
• scientific article; zbMATH DE number 4209631 (Why is no real title available?)
• scientific article; zbMATH DE number 5506896 (Why is no real title available?)
• scientific article; zbMATH DE number 3602688 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Model Checking Bounded Prioritized Time Petri Nets
• On Timed Simulation Relations for Hybrid Systems and Compositionality
• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• Small universal non-deterministic Petri nets with inhibitor arcs
• Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
• Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
• The expressive power of time Petri nets
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Using integer time steps for checking branching time properties of time Petri nets
• Weak Time Petri Nets Strike Back!

Cited in

(1)

• Timed output synchronized Petri nets and synchronized state class graph

Describes a project that uses

Uses Software

• TINA

This page was built for publication: Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis

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