Cargando…

Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams

We consider coloured Petri nets, qualitative and quantitative ones alike, as supported by our PetriNuts tool family, comprising, among others, Snoopy, Marcie and Spike. Currently, most analysis and simulation techniques require to unfold the given coloured Petri net into its corresponding plain, unc...

Descripción completa

Detalles Bibliográficos
Autores principales: Schwarick, Martin, Rohr, Christian, Liu, Fei, Assaf, George, Chodak, Jacek, Heiner, Monika
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324228/
http://dx.doi.org/10.1007/978-3-030-51831-8_16