×

Found 11,635 Documents (Results 1–100)

100
MathJax

Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. (English) Zbl 07560683

Lecture Notes in Computer Science 13288. Cham: Springer (ISBN 978-3-031-06652-8/pbk; 978-3-031-06653-5/ebook). xiv, 393 p. (2022).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI

Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. (English) Zbl 07560681

Lecture Notes in Computer Science 13273. Cham: Springer (ISBN 978-3-031-08678-6/pbk; 978-3-031-08679-3/ebook). xiv, 209 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Transactions on Petri Nets and Other Models of Concurrency XVI. (English) Zbl 07528574

Lecture Notes in Computer Science 13220. Journal Subline. Berlin, Heidelberg: Springer (ISBN 978-3-662-65302-9/pbk; 978-3-662-65303-6/ebook). xvii, 141 p. (2022).
MSC:  68-06 68Q85 00B15
PDF BibTeX XML Cite
Full Text: DOI

Paradigms of concurrency. Observations, behaviours and systems – a Petri net view. (English) Zbl 07477902

Studies in Computational Intelligence 1020. Berlin: Springer (ISBN 978-3-662-64819-3/hbk; 978-3-662-64821-6/ebook). xii, 326 p. (2022).
MSC:  68-02 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Characterizations for \(\mathrm{XPath}_{\mathcal{R}}(\downarrow)\). (English) Zbl 07547749

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 319-336 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 14th interaction and concurrency experience workshop, ICE, online, June 18, 2021. (English) Zbl 1489.68025

Electronic Proceedings in Theoretical Computer Science (EPTCS) 347. Waterloo: Open Publishing Association (OPA). 95 p., electronic only, open access (2021).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI Link

Proceedings of the combined 28th international workshop on expressiveness in concurrency and the 18th workshop on structural operational semantics, EXPRESS/SOS, Paris, France, online event, August 23, 2021. (English) Zbl 1489.68010

Electronic Proceedings in Theoretical Computer Science (EPTCS) 339. Waterloo: Open Publishing Association (OPA). 92 p., electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 1487.68168

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021).
MSC:  68Q85 68N19 68Q45
PDF BibTeX XML Cite
Full Text: DOI

A temporal logic for asynchronous hyperproperties. (English) Zbl 07498162

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 694-717 (2021).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Computing bottom SCCs symbolically using transition guided reduction. (English) Zbl 07498153

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 505-528 (2021).
MSC:  68Q85 68R10
PDF BibTeX XML Cite
Full Text: DOI

Stateless model checking under a reads-value-from equivalence. (English) Zbl 07498145

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 341-366 (2021).
MSC:  68Q60 68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow. (English) Zbl 1491.68124

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 105-126 (2021).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Compositional safe approximation of response time distribution of complex workflows. (English) Zbl 1491.68119

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 83-104 (2021).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Accelerating the computation of dead and concurrent places using reductions. (English) Zbl 1490.68137

Laarman, Alfons (ed.) et al., Model checking software. 27th international symposium, SPIN 2021, virtual event, July 12, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12864, 45-62 (2021).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

Nets with mana: a framework for chemical reaction modelling. (English) Zbl 07493662

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 185-202 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A generalized concurrent rule construction for double-pushout rewriting. (English) Zbl 1489.68116

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 22-39 (2021).
MSC:  68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Concurrency theorems for non-linear rewriting theories. (English) Zbl 1489.68115

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 3-21 (2021).
MSC:  68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Deciphering the co-car anomaly of circular traffic queues using Petri nets. (English) Zbl 1489.68170

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 443-462 (2021).
MSC:  68Q85 90B20
PDF BibTeX XML Cite
Full Text: DOI

Deterministic concurrent systems. (English) Zbl 1489.68148

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 423-442 (2021).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Abstraction-based incremental inductive coverability for Petri nets. (English) Zbl 1489.68162

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 379-398 (2021).
MSC:  68Q85 68Q60 68W05
PDF BibTeX XML Cite
Full Text: DOI

A lazy query scheme for reachability analysis in Petri nets. (English) Zbl 1489.68161

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 360-378 (2021).
MSC:  68Q85 68Q60 68W05
PDF BibTeX XML Cite
Full Text: DOI HAL

Efficient algorithms for three reachability problems in safe Petri nets. (English) Zbl 1489.68153

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 339-359 (2021).
MSC:  68Q85 68Q60 68W05
PDF BibTeX XML Cite
Full Text: DOI Link

Discovering stochastic process models by reduction and abstraction. (English) Zbl 1489.68155

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 312-336 (2021).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI Link

Synthesis of Petri nets with restricted place-environments: classical and parameterized. (English) Zbl 1489.68169

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 292-311 (2021).
MSC:  68Q85 68Q17
PDF BibTeX XML Cite
Full Text: DOI

Edge, event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable. (English) Zbl 1489.68168

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 253-273 (2021).
MSC:  68Q85 68Q17
PDF BibTeX XML Cite
Full Text: DOI

Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets. (English) Zbl 1489.68140

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 230-249 (2021).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Reduction using induced subnets to systematically prove properties for free-choice nets. (English) Zbl 1489.68171

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 208-229 (2021).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Skeleton abstraction for universal temporal properties. (English) Zbl 1490.68142

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 186-207 (2021).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the combination of polyhedral abstraction and SMT-based model checking for Petri nets. (English) Zbl 1489.68150

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 164-185 (2021).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

Computing parameterized invariants of parameterized Petri nets. (English) Zbl 1489.68158

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 141-163 (2021).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

Automatic synthesis of transiently correct network updates via Petri games. (English) Zbl 1489.68157

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 118-137 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Canonical representations for direct generation of strategies in high-level Petri games. (English) Zbl 1489.68159

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 95-117 (2021).
MSC:  68Q85 68Q60 91A80
PDF BibTeX XML Cite
Full Text: DOI arXiv

A turn-based approach for qualitative time concurrent games. (English) Zbl 1489.68160

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 76-92 (2021).
MSC:  68Q85 68Q60 91A80
PDF BibTeX XML Cite
Full Text: DOI HAL

Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 1489.68166

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 55-75 (2021).
PDF BibTeX XML Cite
Full Text: DOI HAL

Off-the-shelf automated analysis of liveness properties for just paths (extended abstract). (English) Zbl 1489.68154

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 182-187 (2021).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

\( \pi\) with leftovers: a mechanisation in Agda. (English) Zbl 1490.68143

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 157-174 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Prioritise the best variation. (English) Zbl 1490.68141

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 100-119 (2021).
MSC:  68Q85 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves. (English) Zbl 1490.68140

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 80-99 (2021).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

How adaptive and reliable is your program? (English) Zbl 1489.68139

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 60-79 (2021).
PDF BibTeX XML Cite
Full Text: DOI

On bidirectional runtime enforcement. (English) Zbl 1489.68135

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 3-21 (2021).
MSC:  68Q60 03B70 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software