scientific article; zbMATH DE number 1567969

MaRDI QIDQ4761807zbMATH OpenFDO

Authors A. E. Pentus, Mati Pentus

Publication date 21 February 2001

Full work available at URL http://mech.math.msu.su/~fpm/eng/k00/k003/k00314h.htm

zbMATH Keywords

C-systemshierarchical Petri nets

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 2064227
• scientific article; zbMATH DE number 2203309
• From coloured Petri nets to object Petri nets
• scientific article; zbMATH DE number 2084347
• Integrated Formal Methods

Cited in

(7)

• Computer-aided design and programming
• Comparing concepts of object Petri net formalisms
• scientific article; zbMATH DE number 1156490 (Why is no real title available?)
• A formal definition of hierarchical predicate transition nets
• scientific article; zbMATH DE number 2203309 (Why is no real title available?)
• scientific article; zbMATH DE number 5051646 (Why is no real title available?)
• Integrated Formal Methods

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