The following pages link to (Q5392873):
Displaying 12 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens (Q1616270) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins (Q2119954) (← links)
- Distributed synthesis of asynchronously communicating distributed process models (Q2163771) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- (Q4553276) (← links)
- Discovering Object-centric Petri Nets (Q4988950) (← links)
- Free-choice Nets with Home Clusters are Lucent (Q5158668) (← links)
- Analysis and application of transition systems based on Petri nets and relation matrices to business process management (Q6534515) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
- The complexity of soundness in workflow nets (Q6649450) (← links)
