Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (Q2941142): Difference between revisions

@@ Property / cites work @@
+OpenFst: A General and Efficient Weighted Finite-State Transducer Library
+Normal rank
@@ Property / cites work @@
+Q4721639
@@ Property / cites work: Q4721639 / rank @@
+Normal rank
@@ Property / cites work @@
+Semirings and Formal Power Series
@@ Property / cites work: Semirings and Formal Power Series / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Traces, Series-Parallel Posets, and Pictures: A Weighted Study
+Normal rank
@@ Property / cites work @@
+Weighted Tree Automata and Tree Transducers
@@ Property / cites work: Weighted Tree Automata and Tree Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+An open graph visualization system and its applications to software engineering
+Normal rank
@@ Property / cites work @@
+The equational theory of pomsets
@@ Property / cites work: The equational theory of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922196
@@ Property / cites work: Q3922196 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra and its foundations
@@ Property / cites work: Concurrent Kleene algebra and its foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023496
@@ Property / cites work: Q4023496 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching automata with costs -- a way of reflecting parallelism in costs
+Normal rank
@@ Property / cites work @@
+Models from Scenarios
@@ Property / cites work: Models from Scenarios / rank @@
+Normal rank
@@ Property / cites work @@
+On Weighted Petri Net Transducers
@@ Property / cites work: On Weighted Petri Net Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Automata Algorithms
@@ Property / cites work: Weighted Automata Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Petri nets 1992
@@ Property / cites work: Advances in Petri nets 1992 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Petri nets for specifying man–machine dialogues
+Normal rank