- Record: found
- Abstract: not found
- Article: not found
A Compositional Analysis Method for Petri-Net Models
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references20
- Record: found
- Abstract: not found
- Book: not found
A Compositional Approach to Performance Modelling
Jane Hillston (2009)
- Record: found
- Abstract: not found
- Article: not found
Exploring Fog Computing-Based Adaptive Vehicular Data Scheduling Policies Through a Compositional Formal Method—PEPA
Xiao Chen, Liangmin Wang (2017)
- Record: found
- Abstract: not found
- Article: not found
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
Alessandro Giua, Ziyue Ma, Zhiwu Li (2015)