Matches in SemOpenAlex for { <https://semopenalex.org/work/W4243996535> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4243996535 endingPage "156" @default.
- W4243996535 startingPage "155" @default.
- W4243996535 abstract "In this paper, we show that it can be tested in polynomial time as to whether a scenario is an execution of a Petri net. This holds for a wide variety of Petri net classes, ranging from elementary nets to general inhibitor nets. Scenarios are given by causal structures expressing causal dependencies and concurrency among events. In the case of elementary nets and of place/transition nets, such causal structures are partial orders among transition occurrences. For several extended Petri net classes, the extension of partial orders to stratified order structures is considered.The algorithms are based on the representation of the non-sequential behavior of Petri nets by so-called token flow functions and a characterization of Petri net executions called token flow property. This property allows nontrivial transformations into flow optimization problems, which can be solved in polynomial time. The paper is a revised, consolidated and extended version of the conference papers [G. Juhás, R. Lorenz, J. Desel, Can I execute my scenario in your net?, in: G. Ciardo, P. Darondeau (Eds.), ICATPN, in: Lecture Notes in Computer Science, Springer, 2005, pp. 289–308; R. Lorenz, S. Mauser, R. Bergenthum, Testing the Executability of Scenarios in General Inhibitor Nets, in: ACSD, IEEE Computer Society, 2007, pp. 167–176] and includes parts of the habilitation thesis [R. Lorenz, Szenario-basierte Verifikation und Synthese von Perinetzen: Theorie und Anwendungen, Habilitation, 2006]." @default.
- W4243996535 created "2022-05-12" @default.
- W4243996535 creator A5032455181 @default.
- W4243996535 creator A5080767186 @default.
- W4243996535 date "1992-07-01" @default.
- W4243996535 modified "2023-09-27" @default.
- W4243996535 title "Introduction" @default.
- W4243996535 doi "https://doi.org/10.1016/0096-0551(92)90025-i" @default.
- W4243996535 hasPublicationYear "1992" @default.
- W4243996535 type Work @default.
- W4243996535 citedByCount "0" @default.
- W4243996535 crossrefType "journal-article" @default.
- W4243996535 hasAuthorship W4243996535A5032455181 @default.
- W4243996535 hasAuthorship W4243996535A5080767186 @default.
- W4243996535 hasConcept C111472728 @default.
- W4243996535 hasConcept C111919701 @default.
- W4243996535 hasConcept C11413529 @default.
- W4243996535 hasConcept C118615104 @default.
- W4243996535 hasConcept C136155141 @default.
- W4243996535 hasConcept C138885662 @default.
- W4243996535 hasConcept C14166107 @default.
- W4243996535 hasConcept C15708023 @default.
- W4243996535 hasConcept C189950617 @default.
- W4243996535 hasConcept C193702766 @default.
- W4243996535 hasConcept C197551870 @default.
- W4243996535 hasConcept C199360897 @default.
- W4243996535 hasConcept C2524010 @default.
- W4243996535 hasConcept C2908837262 @default.
- W4243996535 hasConcept C33923547 @default.
- W4243996535 hasConcept C38677869 @default.
- W4243996535 hasConcept C41008148 @default.
- W4243996535 hasConcept C48145219 @default.
- W4243996535 hasConcept C80444323 @default.
- W4243996535 hasConceptScore W4243996535C111472728 @default.
- W4243996535 hasConceptScore W4243996535C111919701 @default.
- W4243996535 hasConceptScore W4243996535C11413529 @default.
- W4243996535 hasConceptScore W4243996535C118615104 @default.
- W4243996535 hasConceptScore W4243996535C136155141 @default.
- W4243996535 hasConceptScore W4243996535C138885662 @default.
- W4243996535 hasConceptScore W4243996535C14166107 @default.
- W4243996535 hasConceptScore W4243996535C15708023 @default.
- W4243996535 hasConceptScore W4243996535C189950617 @default.
- W4243996535 hasConceptScore W4243996535C193702766 @default.
- W4243996535 hasConceptScore W4243996535C197551870 @default.
- W4243996535 hasConceptScore W4243996535C199360897 @default.
- W4243996535 hasConceptScore W4243996535C2524010 @default.
- W4243996535 hasConceptScore W4243996535C2908837262 @default.
- W4243996535 hasConceptScore W4243996535C33923547 @default.
- W4243996535 hasConceptScore W4243996535C38677869 @default.
- W4243996535 hasConceptScore W4243996535C41008148 @default.
- W4243996535 hasConceptScore W4243996535C48145219 @default.
- W4243996535 hasConceptScore W4243996535C80444323 @default.
- W4243996535 hasIssue "3" @default.
- W4243996535 hasLocation W42439965351 @default.
- W4243996535 hasOpenAccess W4243996535 @default.
- W4243996535 hasPrimaryLocation W42439965351 @default.
- W4243996535 hasRelatedWork W1506995308 @default.
- W4243996535 hasRelatedWork W1536150964 @default.
- W4243996535 hasRelatedWork W2000256138 @default.
- W4243996535 hasRelatedWork W2027131958 @default.
- W4243996535 hasRelatedWork W2095807838 @default.
- W4243996535 hasRelatedWork W2099509932 @default.
- W4243996535 hasRelatedWork W2121853504 @default.
- W4243996535 hasRelatedWork W2130283794 @default.
- W4243996535 hasRelatedWork W2145270056 @default.
- W4243996535 hasRelatedWork W2293352129 @default.
- W4243996535 hasVolume "17" @default.
- W4243996535 isParatext "false" @default.
- W4243996535 isRetracted "false" @default.
- W4243996535 workType "article" @default.