Time-based expressivity of time Petri nets for system specification (Q1285652): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3319781
@@ Property / cites work: Q3319781 / rank @@
+Normal rank
@@ Property / cites work @@
+Time-based expressivity of time Petri nets for system specification
+Normal rank
@@ Property / cites work @@
+Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
+Normal rank
@@ Property / cites work @@
+Q3766866
@@ Property / cites work: Q3766866 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in Petri nets
@@ Property / cites work: Complexity of some problems in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3474896
@@ Property / cites work: Q3474896 / rank @@
+Normal rank
@@ Property / cites work @@
+Recoverability of Communication Protocols--Implications of a Theoretical Study
+Normal rank
@@ Property / cites work @@
+Q3766864
@@ Property / cites work: Q3766864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3357558
@@ Property / cites work: Q3357558 / rank @@
+Normal rank
@@ Property / cites work @@
+Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Q4172930
@@ Property / cites work: Q4172930 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite behaviour of Petri nets
@@ Property / cites work: Infinite behaviour of Petri nets / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1285652