×

Found 948 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

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

Occupancy number restricted Boolean Petri net synthesis: a fixed-parameter algorithm. (English) Zbl 07369987

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, 143-160 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

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

Narrowing down the hardness barrier of synthesizing elementary net systems. (English) Zbl 07378560

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 16, 15 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

An efficient characterization of Petri net solvable binary words. (English) Zbl 1427.68189

Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 207-226 (2018).
MSC:  68Q85 68R15
PDF BibTeX XML Cite
Full Text: DOI

Factorisation of Petri net solvable transition systems. (English) Zbl 1427.68192

Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 82-98 (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Analysis and synthesis of weighted marked graph Petri nets. (English) Zbl 1427.68191

Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 19-39 (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI HAL

Designing an IT infrastructure. (English. Russian original) Zbl 1407.68049

Cybern. Syst. Anal. 54, No. 6, 977-992 (2018); translation from Kibern. Sist. Anal. 2018, No. 6, 141-158 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Coverability synthesis in parametric Petri nets. (English) Zbl 1442.68133

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 14, 16 p. (2017).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

\(k\)-bounded Petri net synthesis from modal transition systems. (English) Zbl 1442.68151

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 6, 15 p. (2017).
MSC:  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