Old Web
English
Sign In
Acemap
>
Paper
>
Verifying concurrent system behavior with Petri net invariants
Verifying concurrent system behavior with Petri net invariants
1991
R. Vidale
T. Fujita-Yuhas
Keywords:
Discrete mathematics
Petri net
Stochastic Petri net
Real-time computing
Invariant (mathematics)
Computer science
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
12
References
1
Citations
NaN
KQI
[]