A Programming Language for Spatial Distribution of Net Systems (Q5166761): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-07734-5_9
+Normal rank
@@ Property / OpenAlex ID @@
+W1029858661
@@ Property / OpenAlex ID: W1029858661 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-solving the coverability problem for Petri nets
+Normal rank
@@ Property / cites work @@
+Categorical quantum mechanics
@@ Property / cites work: Categorical quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Nivat's processes and their synchronization
@@ Property / cites work: Nivat's processes and their synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791852
@@ Property / cites work: Q4791852 / rank @@
+Normal rank
@@ Property / cites work @@
+A Connector Algebra for P/T Nets Interactions
@@ Property / cites work: A Connector Algebra for P/T Nets Interactions / rank @@
+Normal rank
@@ Property / cites work @@
+Connector algebras for C/E and P/T nets' interactions
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373555
@@ Property / cites work: Q4373555 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an algebraic theory of Boolean circuits.
@@ Property / cites work: Towards an algebraic theory of Boolean circuits. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832059
@@ Property / cites work: Q3832059 / rank @@
+Normal rank
@@ Property / cites work @@
+A technique of state space search based on unfolding
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Reachability in Petri Nets
@@ Property / cites work: Compositional Reachability in Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Composition of Nets
@@ Property / cites work: Simple Composition of Nets / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on coinductive stream calculus and signal flow graphs
+Normal rank
@@ Property / cites work @@
+How to calculate symmetries of Petri nets
@@ Property / cites work: How to calculate symmetries of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of Petri Net Interactions
@@ Property / cites work: Representations of Petri Net Interactions / rank @@
+Normal rank
@@ Property / cites work @@
+Process Mining
@@ Property / cites work: Process Mining / rank @@
+Normal rank