scientific article; zbMATH DE number 1533828

MaRDI QIDQ4517042zbMATH OpenFDO

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

Publication date 20 November 2000

zbMATH Keywords

distributed systemEstelle specificationPetri net

Mathematics Subject Classification ID

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

Review text

A procedure is described for translating the Estelle specifications into Petri nets. The method proposed is exemplified by the Stenning data transfer protocol. For the entire collection see [Zbl 0944.00029].

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
• On the use of coloured Petri nets for object-oriented design
• Object coloured Petri nets --- A formal technique for object oriented modelling

Cited in

(3)

• Automatic code generation method based on coloured Petri net models applied on an access control system
• Research on the particular subclass of a class coloured Petri nets
• scientific article; zbMATH DE number 1534598 (Why is no real title available?)

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)