Work

Model checking of Control Interpreted Petri Nets

Year: 2011

Type: conference-paper

Source: International Conference Mixed Design of Integrated Circuits and Systems

Authors: Iwona Grobelna, Marian Adamski

Institution: University of Zielona Góra

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2113672829

FWCI: 2.199

Cites: 22

Cited by: 16

Related to: 20