×

Found 2,859 Documents (Results 1–100)

100
MathJax

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

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).
MSC:  93-XX
PDF BibTeX XML Cite
Full Text: DOI

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

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
PDF BibTeX XML Cite
Full Text: DOI

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

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
PDF BibTeX XML Cite
Full Text: DOI

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

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
PDF BibTeX XML Cite
Full Text: DOI

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

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).
PDF BibTeX XML Cite
Full Text: DOI

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

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
PDF BibTeX XML Cite
Full Text: DOI

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

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

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

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
PDF BibTeX XML Cite
Full Text: DOI

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

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

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

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

‘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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI arXiv

Reachability in fixed dimension vector addition systems with states. (English) Zbl 07559504

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 48, 21 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Flatness and complexity of immediate observation Petri nets. (English) Zbl 07559501

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 45, 19 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Modeling big data processing programs. (English) Zbl 1475.68081

Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 101-118 (2020).
MSC:  68N30 68Q85 68T09
PDF BibTeX XML Cite
Full Text: DOI

The complexity of Boolean state separation. (English) Zbl 07369986

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 123-142 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Efficient restrictions of immediate observation Petri nets. (English) Zbl 07368100

Schmitz, Sylvain (ed.) et al., Reachability problems. 14th international conference, RP 2020, Paris, France, October 19–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12448, 99-114 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Reversible occurrence nets and causal reversible prime event structures. (English) Zbl 07368046

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 35-53 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

3D-array token Petri nets generating tetrahedral picture languages. (English) Zbl 1482.68154

Lukić, Tibor (ed.) et al., Combinatorial image analysis. 20th international workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12148, 88-105 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. (English) Zbl 07300851

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 10, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

When reachability meets Grzegorczyk. (English) Zbl 07299453

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 1-6 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI HAL

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