scientific article
From MaRDI portal
Publication:3896495
zbMath0449.68020MaRDI QIDQ3896495
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
livenesssafetyPetri netsproduction systemsfinite automataconcurrencyreachability problemcounter automatanet languagesswitching circuitsoccurrence netsgeneral net theorycondition event system
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Generalized Nets as a Tool for the Modelling of Data Mining Processes ⋮ Toward Optimization of Reasoning Using Generalized Fuzzy Petri Nets ⋮ On the Analysis of Petri Nets and their Synthesis from Process Languages ⋮ Subset languages of Petri nets. I: The relationship to string languages and normal forms
This page was built for publication:
