Interval semantics for Petri nets with inhibitor arcs (Q1749475): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2018.03.003
@@ Property / DOI: 10.1016/j.tcs.2018.03.003 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2018.03.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2796215314
@@ Property / OpenAlex ID: W2796215314 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+On Interval Process Semantics of Petri Nets with Inhibitor Arcs
+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 @@
+Q4948012
@@ Property / cites work: Q4948012 / 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 @@
+Interval graphs and interval orders
@@ Property / cites work: Interval graphs and interval orders / 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 @@
+Q3922196
@@ Property / cites work: Q3922196 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational structures model of concurrency
@@ Property / cites work: Relational structures model of concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3018961
@@ Property / cites work: Q3018961 / 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 @@
+Fundamentals of modelling concurrency using discrete relational structures
+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 @@
+Complete Process Semantics for Inhibitor Nets
@@ Property / cites work: Complete Process Semantics for Inhibitor Nets / rank @@
+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 @@
+The mutual exclusion problem
@@ Property / cites work: The mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual nets
@@ Property / cites work: Contextual nets / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Nets, time and space
@@ Property / cites work: Nets, time and space / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247285
@@ Property / cites work: Q4247285 / rank @@
+Normal rank
@@ Property / cites work @@
+On Characterising Distributability
@@ Property / cites work: On Characterising Distributability / 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
@@ Property / cites work @@
+Q4251922
@@ Property / cites work: Q4251922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220896
@@ Property / cites work: Q4220896 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130031025
@@ Property / Wikidata QID: Q130031025 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2018.03.003
@@ Property / DOI: 10.1016/J.TCS.2018.03.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1749475