The following pages link to Coloured Petri Nets (Q3617245):
Displaying 8 items.
- Lectures on Concurrency and Petri Nets (Q5712286) (← links)
- Acyclic and Cyclic Reversing Computations in Petri Nets (Q5862345) (← links)
- Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations (Q5870852) (← links)
- Methods for Efficient Unfolding of Colored Petri Nets (Q6070614) (← links)
- A novel fully adaptive neural network modeling and implementation using colored Petri nets (Q6080673) (← links)
- Understanding Behaviour of Distributed Systems Using mCRL2 (Q6488308) (← links)
- Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving (Q6535202) (← links)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)