Processes of timed Petri nets

DOI10.1016/S0304-3975(98)00188-1MaRDI QIDQ1575631zbMATH OpenOpenAlexFDO

Authors N. Delaunay

Publication date 21 August 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(98)00188-1

Mathematics Subject Classification ID

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

Recommendations

• Timed processes of timed Petri nets
• scientific article; zbMATH DE number 744062
• Time processes for time Petri nets
• A causal semantic for time Petri nets

Cites work

• scientific article; zbMATH DE number 4191145 (Why is no real title available?)
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 4085040 (Why is no real title available?)
• scientific article; zbMATH DE number 744062 (Why is no real title available?)
• A theory of processes with durational actions
• Behaviours of concurrent systems
• Dynamic matrices and the cost analysis of concurrent programs
• Modeling concurrency with partial orders
• Timing Petri nets categorically

Cited in

(11)

• Timed processes of timed Petri nets
• scientific article; zbMATH DE number 744062 (Why is no real title available?)
• Time processes for time Petri nets
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 1228291 (Why is no real title available?)
• scientific article; zbMATH DE number 5263442 (Why is no real title available?)
• Timed Petri nets and temporal linear logic
• Petri nets and regular processes
• Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets
• Strong behavioral similarities in timed-arc Petri nets
• scientific article; zbMATH DE number 1751909 (Why is no real title available?)

This page was built for publication: Processes of timed Petri nets

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