Time Recursive Petri Nets (Q3599214)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Time Recursive Petri Nets	scientific article

Statements

scholarly article

0 references

Time Recursive Petri Nets (English)

0 references

Djaouida Dahmani

0 references

Jean-Michel Ilié

0 references

0 references

Transactions on Petri Nets and Other Models of Concurrency I

0 references

publication date

3 February 2009

0 references

zbMATH Keywords

recursive Petri net

0 references

time Petri net

0 references

threads

0 references

recursivity

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-540-89287-8_7

0 references

Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences

0 references

Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7--10, 2006. Revised lectures

0 references

State space computation and analysis of Time Petri Nets

0 references

0 references

Recursive Petri nets

0 references

Lectures on Concurrency and Petri Nets

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-540-89287-8_7

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3599214

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3599214&oldid=35091633"