scientific article; zbMATH DE number 1533828

MaRDI QIDQ4517042zbMATH OpenFDO

Authors E. V. Okunishnikova, T. G. Churina

Publication date 20 November 2000

zbMATH Keywords

distributed systemPetri netEstelle specification

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Recommendations

• scientific article; zbMATH DE number 1534598
• Coloured Petri Nets
• Colored Petri nets and the matrix approach
• Strategies for modeling complex processes using colored Petri nets
• scientific article; zbMATH DE number 4028914
• Refinement of coloured petri nets
• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 1686283

Cited in

(3)

• scientific article; zbMATH DE number 1534598 (Why is no real title available?)
• scientific article; zbMATH DE number 1696465 (Why is no real title available?)
• Research on the particular subclass of a class coloured Petri nets

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 Q4517042)