The following pages link to (Q4877483):
Displaying 14 items.
- Modelling of freight trains classification using queueing system subject to breakdowns (Q459736) (← links)
- Non-discriminatory automatic registration of knock-on train delays (Q1024076) (← links)
- A brief survey and synthesis of the roles of time in Petri nets. (Q1597067) (← links)
- Formal translation from reversing Petri nets to coloured Petri nets (Q2097427) (← links)
- Improvements in unfolding of colored Petri nets (Q2695488) (← links)
- Contraction of the ITCPN state space (Q2842567) (← links)
- Petri Nets with Structured Data (Q2941152) (← links)
- Synchronisation of inter-arrival times in manufacturing systems with main and side loops (Q3055662) (← links)
- Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes (Q3527931) (← links)
- Tutorial and Survey Articles: An introduction to Petri Nets (Q4458384) (← links)
- A formal notation and tool for the engineering of CORBA systems (Q4790903) (← links)
- Task net: Transactional workflow model based on colored Petri net. (Q5953332) (← links)
- Methods for Efficient Unfolding of Colored Petri Nets (Q6070614) (← links)
- Computing with chemical reaction networks: a tutorial (Q6150974) (← links)
