scientific article; zbMATH DE number 877807
From MaRDI portal
Publication:4877483
zbMath0842.68049MaRDI QIDQ4877483
Publication date: 12 May 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (14)
Petri Nets with Structured Data ⋮ Methods for Efficient Unfolding of Colored Petri Nets ⋮ Computing with chemical reaction networks: a tutorial ⋮ Improvements in unfolding of colored Petri nets ⋮ Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes ⋮ Modelling of freight trains classification using queueing system subject to breakdowns ⋮ A formal notation and tool for the engineering of CORBA systems ⋮ Synchronisation of inter-arrival times in manufacturing systems with main and side loops ⋮ Task net: Transactional workflow model based on colored Petri net. ⋮ Tutorial and Survey Articles: An introduction to Petri Nets ⋮ Non-discriminatory automatic registration of knock-on train delays ⋮ Contraction of the ITCPN state space ⋮ Formal translation from reversing Petri nets to coloured Petri nets ⋮ A brief survey and synthesis of the roles of time in Petri nets.
This page was built for publication:
