Work

Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior

Year: 2016

Type: conference-paper

Source: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

DOI: 10.1109/synasc.2016.036

Authors: Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga

Institution: University of Milan

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: W2582945710

FWCI: 0.666

Cites: 26

Cited by: 3

Related to: 10