Generation of Petri Nets Using Structural Property-Preserving Transformations

Roman NESTEROV; Semyon SAVELYEV

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)
Trudy Instituta sistemnogo programmirovaniâ

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

User

eng | рус

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search

Archives

Download this PDF file

Fullscreen

For citations:

NESTEROV R., SAVELYEV S. Generation of Petri Nets Using Structural Property-Preserving Transformations. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2021;33(3):155-170. https://doi.org/10.15514/ISPRAS-2021-33(3)-12

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Academician Arutyun I. Avetisyan

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

Roman NESTEROV
HSE University, Univerist`a degli Studi di Milano-Bicocca
Russian Federation

Postgraduate student at the Faculty of computer science, HSE University and at the Department of Informatics, System Engineering and Communications, University of Milano-Bicocca, Italy (UNIMIB), a junior research fellow at the Laboratory of Process-Aware Information Systems (PAIS Lab), HSE University

Semyon SAVELYEV
HSE University
Russian Federation

Fourth-year undergraduate student at the Faculty of computer science, HSE University, a research assistant at the PAIS Lab, HSE University

Notifications

Username
Password
	Remember me
Not a user? Register with this site Forgot your password?

User

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

For citations:

Cookies policy