scientific article; zbMATH DE number 4094830

MaRDI QIDQ3821597zbMATH OpenFDO

Authors Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri

Publication date 1988

zbMATH Keywords

abstract data typesalgebraic specificationconcurrent system modellingcontrol structure modellingformal specification languagehigh-level netshigh-level Petri netsOBJ2superposed automata

Mathematics Subject Classification ID

Data structures (68P05) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Petri nets and algebraic specifications
• Integrated Formal Methods
• Modelling constrained geometric objects with OBJSA nets
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 4030998

Cited in

(10)

• Petri nets for the design and operation of manufacturing systems
• Petri net modules in the transformation-based component framework
• Modelling constrained geometric objects with OBJSA 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
• Petri nets over ontological graphs: conception and application for modelling tasks of robots
• From coloured Petri nets to object Petri nets
• Software modeling and analysis using a hierarchical object-oriented Petri net
• On the abstraction of coloured Petri Nets
• Petri nets and algebraic specifications

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3821597)