×

Found 987 Documents (Results 1–100)

Separators in continuous Petri nets. (English) Zbl 07793024

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 81-100 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

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 Link

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

On the parameterized complexity of \(d\)-restricted Boolean net synthesis. (English) Zbl 07636438

Chen, Jianer (ed.) et al., Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12337, 226-238 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Weighted generalized fuzzy Petri nets and rough sets for knowledge representation and reasoning. (English) Zbl 1509.68262

Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 61-77 (2020).
MSC:  68T30 68Q85 68T37
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
Full Text: DOI

Reversing steps in Petri nets. (English) Zbl 1532.68039

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 171-191 (2019).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Articulation of transition systems and its application to Petri net synthesis. (English) Zbl 1532.68040

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 113-126 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

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

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

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