Pages that link to "Item:Q4462676"
From MaRDI portal
The following pages link to On the Analysis of Petri Nets and their Synthesis from Process Languages (Q4462676):
Displaying 10 items.
- Merged processes: a new condensed representation of Petri net behaviour (Q854679) (← links)
- Process expression of bounded Petri nets (Q1354577) (← links)
- \(\omega\)-process languages for place/transition nets. (Q2775859) (← links)
- Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages (Q3400552) (← links)
- (Q3431091) (← links)
- (Q3696530) (← links)
- (Q3805918) (← links)
- (Q4298229) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897493) (← links)
- Advances in quantitative analysis of free-choice workflow Petri nets (invited talk) (Q6486416) (← links)