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

@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(98)00008-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2074016802
@@ Property / OpenAlex ID: W2074016802 / rank @@
+Normal rank