scientific article; zbMATH DE number 2080061

MaRDI QIDQ4472254zbMATH OpenFDO

Authors Keijo Heljanko, Victor Khomenko, Maciej Koutny

Publication date 4 August 2004

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

zbMATH Keywords

causalityconcurrencyModel checkingparallel algorithmsPetri netsunfolding

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 1863174
• Faster Unfolding of General Petri Nets Based on Token Flows
• scientific article; zbMATH DE number 1903382
• scientific article; zbMATH DE number 1670797
• Computer Aided Verification

Cited in

(11)

• Dealing with practical limitations of distributed timed model checking for timed automata
• Computation of summaries using net unfoldings
• scientific article; zbMATH DE number 3890722 (Why is no real title available?)
• Planning without state space explosion: Petri net to Markov decision process
• Faster Unfolding of General Petri Nets Based on Token Flows
• Recent advances in unfolding technique
• scientific article; zbMATH DE number 1361116 (Why is no real title available?)
• scientific article; zbMATH DE number 1863174 (Why is no real title available?)
• scientific article; zbMATH DE number 1903382 (Why is no real title available?)
• Model checking of biological systems
• Computer Aided Verification

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