On Interval Semantics of Inhibitor and Activator Nets (Q6144214): Difference between revisions

@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Domain and event structure semantics for Petri nets with read and inhibitor arcs
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+Adequacy-preserving transformations of COSY path programs
+Normal rank
@@ Property / cites work @@
+Time in quantum mechanics. Vol. 1.
@@ Property / cites work: Time in quantum mechanics. Vol. 1. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247286
@@ Property / cites work: Q4247286 / rank @@
+Normal rank
@@ Property / cites work @@
+Intransitive indifference with unequal indifference intervals
+Normal rank
@@ Property / cites work @@
+Q3344239
@@ Property / cites work: Q3344239 / rank @@
+Normal rank
@@ Property / cites work @@
+The non-sequential behaviour of Petri nets
@@ Property / cites work: The non-sequential behaviour of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling operational semantics with interval orders represented by sequences of antichains
+Normal rank
@@ Property / cites work @@
+Step traces
@@ Property / cites work: Step traces / rank @@
+Normal rank
@@ Property / cites work @@
+Structure of concurrency
@@ Property / cites work: Structure of concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of inhibitor nets
@@ Property / cites work: Semantics of inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+Operational Semantics, Interval Orders and Sequences of Antichains
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with interval traces
@@ Property / cites work: Modeling concurrency with interval traces / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling Interval Order Structures with Partially Commutative Monoids
+Normal rank
@@ Property / cites work @@
+Process semantics of general inhibitor nets
@@ Property / cites work: Process semantics of general inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3527017
@@ Property / cites work: Q3527017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual nets
@@ Property / cites work: Contextual nets / rank @@
+Normal rank
@@ Property / cites work @@
+Nets, time and space
@@ Property / cites work: Nets, time and space / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
+Normal rank
@@ Property / cites work @@
+Q4247285
@@ Property / cites work: Q4247285 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial order semantics and read arcs
@@ Property / cites work: Partial order semantics and read arcs / rank @@
+Normal rank