scientific article; zbMATH DE number 2084348

MaRDI QIDQ3043832zbMATH OpenFDO

Authors Vitaly E. Kozura

Publication date 6 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2244/22440268.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Factorization properties of symbolic unfoldings of colored Petri nets
• Optimized Colored Nets Unfolding
• scientific article; zbMATH DE number 4028914
• scientific article; zbMATH DE number 1670797
• Linear-algebraic methods for the description, refinement, and analysis of coloured Petri nets

Cited in

(9)

• Linear-algebraic methods for the description, refinement, and analysis of coloured Petri nets
• scientific article; zbMATH DE number 1756007 (Why is no real title available?)
• Mapping PUNITY to UniNet
• Factorization properties of symbolic unfoldings of colored Petri nets
• Methods for Efficient Unfolding of Colored Petri Nets
• Finding Stubborn Sets of Coloured Petri Nets without Unfolding
• The unfolding of general Petri nets
• scientific article; zbMATH DE number 1822435 (Why is no real title available?)
• Optimized Colored Nets Unfolding

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