scientific article
From MaRDI portal
Publication:3821597
zbMath0668.68068MaRDI QIDQ3821597
Fiorella de Cindio, Giancarlo Mauri, Eugenio Battiston
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic specificationhigh-level Petri netsabstract data typesformal specification languagehigh-level netsOBJ2concurrent system modellingcontrol structure modellingsuperposed automata
Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)
Related Items (8)
Petri net modules in the transformation-based component framework ⋮ Petri Nets over Ontological Graphs: Conception and Application for Modelling Tasks of Robots ⋮ Petri nets for the design and operation of manufacturing systems ⋮ From Coloured Petri Nets to Object Petri Nets ⋮ The consistent use of names and polymorphism in the definition of Object Petri Nets ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Software modeling and analysis using a hierarchical object-oriented Petri net ⋮ Petri nets and algebraic specifications
This page was built for publication:
