scientific article; zbMATH DE number 606833
From MaRDI portal
Publication:4301180
zbMath0812.68030MaRDI QIDQ4301180
Publication date: 17 July 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)
Related Items (5)
Operational semantics for Petri net components ⋮ Petri nets for the design and operation of manufacturing systems ⋮ An algebraic semantics for hierarchical P/T nets ⋮ Petri net-based modelling of workflow systems: An overview ⋮ Modelling and simulating multi-echelon food systems.
This page was built for publication: