×

Found 3,727 Documents (Results 1–100)

100
MathJax

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

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

More efficient shuffle argument from unique factorization. (English) Zbl 1479.94201

Paterson, Kenneth G. (ed.), Topics in cryptology – CT-RSA 2021. Cryptographers’ track at the RSA conference 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12704, 252-275 (2021).
MSC:  94A60 68M12 91B12
PDF BibTeX XML Cite
Full Text: DOI

Triangular array token Petri net and P system. (English) Zbl 07437063

Freund, Rudolf (ed.) et al., Membrane computing. 21st international conference, CMC 2020, virtual event, September 14–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12687, 78-93 (2021).
MSC:  68Q07
PDF BibTeX XML Cite
Full Text: DOI

A queueing system with probabilistic joining strategy for priority customers. (English) Zbl 1470.60245

Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 19th international conference, ITMM 2020, named after A. F. Terpugov, Tomsk, Russia, December 2–5, 2020. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1391, 337-351 (2021).
MSC:  60K25 68M20 90B22
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software