Generation of synchronizing state machines from a transition system: a region-based approach (Q6100077): Difference between revisions

@@ Property / cites work @@
+Petri net synthesis
@@ Property / cites work: Petri net synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-Boolean optimization
@@ Property / cites work: Pseudo-Boolean optimization / rank @@
+Normal rank
@@ Property / cites work @@
+New Region-Based Algorithms for Deriving Bounded Petri Nets
+Normal rank
@@ Property / cites work @@
+Deriving Petri nets from finite transition systems
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. II: State spaces of concurrent systems
+Normal rank
@@ Property / cites work @@
+Process Model Discovery: A Method Based on Transition System Decomposition
+Normal rank
@@ Property / cites work @@
+Q4824481
@@ Property / cites work: Q4824481 / rank @@
+Normal rank
@@ Property / cites work @@
+PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF
+Normal rank
@@ Property / cites work @@
+Q4221106
@@ Property / cites work: Q4221106 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing Process Mining Problems Using Passages
+Normal rank
@@ Property / cites work @@
+Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6100077