Formal Methods
着色Petri网
Coloured Petri NetA Petri net extension that uses colored tokens to represent complex data structures and enables the modeling of systems with higher-level data flow and state transitions. / 一种Petri网扩展，使用着色标记来表示复杂的数据结构，并能够建模具有高级数据流和状态转换的系统。
- Knowledge type
- 数学理论
- First proposed or discovered
- Proposer
- Turkey Farm member
- Creator
- 农场主
- Last updated
- 2026-11-14 19:05:31
Sub-knowledge points
Modeling of concurrent systemsAnalysis of system behavior and deadlocksFormal verification of properties
Higher-order knowledge points
Concurrency TheoryDiscrete Event SystemsFormal Verification
Main parameters and performance indicators
Color set: Defines the data types for tokensExpression: Defines the function mapping tokens to colorsGuard: Boolean condition for transition enabling
Open problems
No unresolved problem recorded yet
Related literature
ranked by community starsFormal Safety Modelling and Analysis of Train-to-Train Communication in Virtual Coupling Using CPNOpen source
Related products and links
No item recorded yet
Creation and modification trail
1 recordsRecord title: Coloured Petri Net.
Node update feedback
review required