Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra (Q4923515): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+Q4249180
@@ Property / cites work: Q4249180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754142
@@ Property / cites work: Q2754142 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the algebra of net computations and processes
+Normal rank
@@ Property / cites work @@
+Q2766559
@@ Property / cites work: Q2766559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421723
@@ Property / cites work: Q4421723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247286
@@ Property / cites work: Q4247286 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219030
@@ Property / cites work: Q4219030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485143
@@ Property / cites work: Q4485143 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of inhibitor nets
@@ Property / cites work: Semantics of inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263305
@@ Property / cites work: Q4263305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223784
@@ Property / cites work: Q4223784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766567
@@ Property / cites work: Q2766567 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual nets
@@ Property / cites work: Contextual nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223777
@@ Property / cites work: Q4223777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421724
@@ Property / cites work: Q4421724 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of the category of Petri net computations
+Normal rank
@@ Property / cites work @@
+Behaviours of concurrent systems
@@ Property / cites work: Behaviours of concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic description of system behaviours
@@ Property / cites work: An algebraic description of system behaviours / rank @@
+Normal rank