Publication | Closed Access
Modular Analysis of Petri Nets
139
Citations
2
References
2000
Year
Petri NetEngineeringNetwork AnalysisComplex SystemsFormal VerificationSøren Christensen SearchComputer JournalNetwork FlowsFormal ModelingStochastic Petri NetComputer EngineeringNetworked Computer SystemsModular AnalysisDistributed SystemsComputer ScienceTheory Of ComputingAutomated ReasoningFormal MethodsJanuary 2000
Journal Article Modular Analysis of Petri Nets Get access Søren Christensen, Søren Christensen Search for other works by this author on: Oxford Academic Google Scholar Laure Petrucci Laure Petrucci Search for other works by this author on: Oxford Academic Google Scholar The Computer Journal, Volume 43, Issue 3, 2000, Pages 224–242, https://doi.org/10.1093/comjnl/43.3.224 Published: 01 January 2000
| Year | Citations | |
|---|---|---|
Page 1
Page 1