Model checking Petri nets with names using data-centric dynamic systems (Q315291): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6628710
@@ Property / zbMATH DE Number: 6628710 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal verification
@@ Property / zbMATH Keywords: formal verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri nets with names
@@ Property / zbMATH Keywords: Petri nets with names / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+infinite-state systems
@@ Property / zbMATH Keywords: infinite-state systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+first-order temporal logics
@@ Property / zbMATH Keywords: first-order temporal logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data-aware business processes
@@ Property / zbMATH Keywords: data-aware business processes / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+resource-aware business processes
@@ Property / zbMATH Keywords: resource-aware business processes / 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.1007/s00165-016-0370-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2337896169
@@ Property / OpenAlex ID: W2337896169 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62044490
@@ Property / Wikidata QID: Q62044490 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about cryptographic protocols in the spi calculus
+Normal rank
@@ Property / cites work @@
+Towards nominal computation
@@ Property / cites work: Towards nominal computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / cites work @@
+Description Logic Knowledge and Action Bases
@@ Property / cites work: Description Logic Knowledge and Action Bases / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Agent-Based Artifact Systems
@@ Property / cites work: Verification of Agent-Based Artifact Systems / rank @@
+Normal rank
@@ Property / cites work @@
+First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
+Normal rank
@@ Property / cites work @@
+Computable queries for relational data bases
@@ Property / cites work: Computable queries for relational data bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480657
@@ Property / cites work: Q5480657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353562
@@ Property / cites work: Q4353562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954445
@@ Property / cites work: Q4954445 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+A Theory of Name Boundedness
@@ Property / cites work: A Theory of Name Boundedness / rank @@
+Normal rank
@@ Property / cites work @@
+Coloured Petri Nets
@@ Property / cites work: Coloured Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Cost Soundness for Priced Resource-Constrained Workflow Nets
+Normal rank
@@ Property / cites work @@
+A note on colored Petri nets
@@ Property / cites work: A note on colored Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Petri Nets
@@ Property / cites work: Understanding Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601864
@@ Property / cites work: Q3601864 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of Petri nets with unordered data
+Normal rank
@@ Property / cites work @@
+Database Theory - ICDT 2005
@@ Property / cites work: Database Theory - ICDT 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5392873
@@ Property / cites work: Q5392873 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness of workflow nets: classification, decidability, and analysis
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:315291