Work

Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties

Year: 2006

Type: conference-paper

Source: International Conference on Application of Concurrency to System Design (ACSD)

DOI: 10.1109/acsd.2005.28

Authors: R. Hadjidj, H. Boucheneb

Institution: Polytechnique Montréal

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

FWCI: 1.755

Cites: 23

Cited by: 9

Related to: 10