scientific article; zbMATH DE number 1533828

zbMATH Open0953.68085MaRDI QIDQ4517042FDOQ4517042

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

Publication date: 20 November 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• Title not available (Why is that?)
• Research on the particular subclass of a class coloured Petri nets
• Title not available (Why is that?)

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)