multiPDEVS: A Parallel Multicomponent System Specification Formalism
Based on multiDEVS formalism, we introduce multiPDEVS, a parallel and nonmodular formalism for discrete event system specification. This formalism provides combined advantages of PDEVS and multiDEVS approaches, such as excellent simulation capabilities for simultaneously scheduled events and compone...
Saved in:
Main Authors: | Damien Foures, Romain Franceschini, Paul-Antoine Bisgambiglia, Bernard P. Zeigler |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2018-01-01
|
Series: | Complexity |
Online Access: | http://dx.doi.org/10.1155/2018/3751917 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Research on formal security policy model specification and its formal analysis
by: LI Li-ping1, et al.
Published: (2006-01-01) -
Formal specification and security verification of usage control model based on PAT
by: Cong-hua ZHOU, et al.
Published: (2016-03-01) -
Single channel multicomponents separating
by: CAI Quan-wei, et al.
Published: (2006-01-01) -
A Multicomponent Magnetic Proxy for Solar Activity
by: Harry P. Warren, et al.
Published: (2021-12-01) -
Formalization of Methods in Criminalistics
by: L. P. Grynko
Published: (2019-12-01)