Publication:4877483
From MaRDI portal
zbMath0842.68049MaRDI QIDQ4877483
Publication date: 12 May 1996
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Tutorial and Survey Articles: An introduction to Petri Nets, A formal notation and tool for the engineering of CORBA systems, Task net: Transactional workflow model based on colored Petri net., Modelling of freight trains classification using queueing system subject to breakdowns, Non-discriminatory automatic registration of knock-on train delays, A brief survey and synthesis of the roles of time in Petri nets., Formal translation from reversing Petri nets to coloured Petri nets, Contraction of the ITCPN state space, Petri Nets with Structured Data, Synchronisation of inter-arrival times in manufacturing systems with main and side loops, Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes