Process versus unfolding semantics for Place/Transition Petri nets (Q672872): Difference between revisions

@@ 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/0304-3975(95)00121-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2052906135
@@ Property / OpenAlex ID: W2052906135 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+A distributed operational semantics of CCS based on condition/event systems
+Normal rank
@@ Property / cites work @@
+Q3210197
@@ Property / cites work: Q3210197 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the algebra of net computations and processes
+Normal rank
@@ Property / cites work @@
+Branching processes of Petri nets
@@ Property / cites work: Branching processes of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / 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 @@
+An event structure semantics for general Petri nets
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499237
@@ Property / cites work: Q4499237 / rank @@
+Normal rank
@@ Property / cites work @@
+PETRI NETS AND STEP TRANSITION SYSTEMS
@@ Property / cites work: PETRI NETS AND STEP TRANSITION SYSTEMS / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776645
@@ Property / cites work: Q3776645 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical aspects of net theory
@@ Property / cites work: Mathematical aspects of net theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3670575
@@ Property / cites work: Q3670575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746897
@@ Property / cites work: Q3746897 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Petri net concatenable processes
@@ Property / cites work: Axiomatizing Petri net concatenable processes / rank @@
+Normal rank
@@ Property / cites work @@
+Special issue: F-WAN, foundations of wide area network computing. Selected papers based on the presentation at the meeting, Málaga, Spain, July 12--13, 2002.
+Normal rank
@@ Property / cites work @@
+On the category of Petri net computations
@@ Property / cites work: On the category of Petri net computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, algebras, morphisms, and compositionality
+Normal rank