Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets

DOI10.3233/FI-2018-1636MaRDI QIDQ4637907zbMATH OpenOpenAlexFDO

Authors Elisabeth Pelz

Publication date 3 May 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2018-1636

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2080209
• Timed processes of timed Petri nets
• scientific article; zbMATH DE number 744062
• scientific article; zbMATH DE number 1786650
• scientific article; zbMATH DE number 1228291
• A theory of implementation and refinement in timed Petri nets
• Processes of timed Petri nets
• Timed Petri nets and temporal linear logic
• scientific article; zbMATH DE number 4143457

Cited in

(1)

• scientific article; zbMATH DE number 1267564 (Why is no real title available?)

This page was built for publication: Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets

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