×

Found 2,931 Documents (Results 1–100)

Minimal trap spaces of logical models are maximal siphons of their Petri net encoding. (English) Zbl 1505.92082

Petre, Ion (ed.) et al., Computational methods in systems biology. 20th international conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13447, 158-176 (2022).
MSC:  92C42 92C40 94D10
PDFBibTeX XMLCite
Full Text: DOI

Deadlock and collision avoidance in railway networks with dynamic routing: a Petri net approach with partial controllability and observability. (English) Zbl 1504.93222

Zattoni, Elena (ed.) et al., 15th European workshop on advanced control and diagnosis, ACD 2019. Proceedings of the workshop, Bologna, Italy, November 21–22, 2019. Cham: Springer. Lect. Notes Control Inf. Sci. – Proc., 1195-1215 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Aligning event logs to resource-constrained \(\nu \)-Petri nets. (English) Zbl 1499.68235

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 325-345 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior. (English) Zbl 1499.68231

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 303-324 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

The ins and outs of Petri net composition. (English) Zbl 1499.68216

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 278-299 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Avoiding exponential explosion in Petri net models of control flows. (English) Zbl 1499.68227

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 261-277 (2022).
PDFBibTeX XMLCite
Full Text: DOI

The synthesis problem for repeatedly communicating Petri games. (English) Zbl 1499.68225

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 236-257 (2022).
MSC:  68Q85 68Q25 91A80
PDFBibTeX XMLCite
Full Text: DOI

Computing transience bounds of emergency call centers: a hierarchical timed Petri net approach. (English) Zbl 1499.68215

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 90-112 (2022).
MSC:  68Q85 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Property-preserving transformations of elementary net systems based on morphisms. (English) Zbl 1507.68208

Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XVI. Berlin: Springer. Lect. Notes Comput. Sci. 13220, 1-23 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

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

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
PDFBibTeX XMLCite
Full Text: DOI

State complexity of population protocols (Invited Talk). (English) Zbl 07799580

Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 2, 1 p. (2021).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A decidable equivalence for a Turing-complete, distributed model of computation. (English) Zbl 07724201

Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 28, 18 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Optimization-based assessment of initial-state opacity in Petri nets. (English) Zbl 1497.90228

Masone, Adriano (ed.) et al., Optimization and data science: trends and applications. 5th AIROYoung workshop and AIRO PhD school 2021 joint event, February 8–12, 2021. Cham: Springer. AIRO Springer Ser. 6, 127-138 (2021).
MSC:  90C90 68Q85
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI HAL

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
PDFBibTeX XMLCite
Full Text: DOI Link

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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI arXiv

Flat Petri nets (invited talk). (English) Zbl 1489.68164

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, 17-30 (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

‘True concurrency’ semantics for time Petri nets with weak time and persistent atomic policies. (English. Russian original) Zbl 1483.68237

Program. Comput. Softw. 47, No. 5, 389-401 (2021); translation from Programmirovanie 47, No. 5, 60-74 (2021).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Towards a truly concurrent semantics for reversible CCS. (English) Zbl 07419486

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 109-125 (2021).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI HAL

Verification of concurrent programs using Petri net unfoldings. (English) Zbl 1472.68087

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 174-195 (2021).
MSC:  68Q60 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Directed reachability for infinite-state systems. (English) Zbl 1474.68202

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 3-23 (2021).
MSC:  68Q85 68Q60 68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finding cut-offs in leaderless rendez-vous protocols is easy. (English) Zbl 07410418

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 42-61 (2021).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software