Multi-modal scenarios revisited: a net-based representation (Q418770): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6039167
@@ Property / zbMATH DE Number: 6039167 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+live sequence charts
@@ Property / zbMATH Keywords: live sequence charts / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+LSC
@@ Property / zbMATH Keywords: LSC / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+scenario
@@ Property / zbMATH Keywords: scenario / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal state structure
@@ Property / zbMATH Keywords: modal state structure / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+LSC net
@@ Property / zbMATH Keywords: LSC net / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.12.030
+Normal rank
@@ Property / OpenAlex ID @@
+W2149472416
@@ Property / OpenAlex ID: W2149472416 / rank @@
+Normal rank
@@ Property / cites work @@
+LSCs: Breathing life into message sequence charts
@@ Property / cites work: LSCs: Breathing life into message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Multi-modal scenarios revisited: a net-based representation
+Normal rank
@@ Property / cites work @@
+Q2769611
@@ Property / cites work: Q2769611 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Petri nets. 1: Basic models. Advances in Petri nets
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418770