scientific article; zbMATH DE number 1751909

zbMATH Open1017.68084MaRDI QIDQ4533005FDOQ4533005

Authors Grzegorz Andrzejewski 

Publication date 6 June 2002

zbMATH Keywords

timed Petri netsvirtual decision system

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 1228291
• Timed approximate Petri nets
• Timed processes of timed Petri nets
• Processes of timed Petri nets
• scientific article; zbMATH DE number 4092766
• Timed Petri nets and temporal linear logic
• scientific article; zbMATH DE number 4074793
• scientific article; zbMATH DE number 4209631
• Petri nets with time

Cited in

(7)

• Timed Petri nets with reset for pipelined synchronous circuit design
• scientific article; zbMATH DE number 6985604 (Why is no real title available?)
• scientific article; zbMATH DE number 1228291 (Why is no real title available?)
• scientific article; zbMATH DE number 1953876 (Why is no real title available?)
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
• scientific article; zbMATH DE number 1931946 (Why is no real title available?)
• Timed Petri Nets: Probabilistic Selection Of Data Dependent Paths

This page was built for publication:

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