Merged processes: a new condensed representation of Petri net behaviour
type: Item
instance of: scholarly article
title: Merged processes: a new condensed representation of Petri net behaviour
zbMATH Open document ID: 1104.68072
author: Victor Khomenko
author: Alex Kondratiev
author: Maciej Koutny
author: Walter Vogler
published in: Acta Informatica
publication date: 2006-12-06T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5077603
zbMATH Keywords: model checking
describes a project that uses: MiniSat
describes a project that uses: Chaff
MaRDI profile type: Publication
full work available at URL: s00236-006-0023-y
OpenAlex ID: W2027131958
cites work: Free Choice Petri Nets
cites work: Theory and Applications of Satisfiability Testing
cites work: Branching processes of Petri nets
cites work: Q4247290
cites work: An improvement of McMillan's unfolding algorithm
cites work: Q4264234
cites work: Q4054644
cites work: CONCUR 2005 – Concurrency Theory
cites work: Canonical prefixes of Petri net unfoldings
cites work: Q4824481
DOI: 10.1007/S00236-006-0023-Y
Recommended article: CONCUR 2005 – Concurrency Theory
Recommended article: Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly
Recommended article: Q4364400
Recommended article: Axiomatizing Petri net concatenable processes
Recommended article: An axiomatization of the algebra of Petri net concatenable processes
Recommended article: Q3127543
Recommended article: On the Analysis of Petri Nets and their Synthesis from Process Languages
Recommended article: Q5472856
Recommended article: Q4842533
description: scientific article; zbMATH DE number 5077603