Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
969
search results - page 93 / 194
»
Recursive Petri nets
Sort
relevance
views
votes
recent
update
View
thumb
title
110
click to vote
CDC
2009
IEEE
98
views
Control Systems
»
more
CDC 2009
»
Diagnosability analysis of unbounded Petri nets
15 years 11 months ago
Download
www.diee.unica.it
Maria Paola Cabasino, Alessandro Giua, Stép...
claim paper
Read More »
138
click to vote
ICCCI
2009
Springer
122
views
Intelligent Agents
»
more
ICCCI 2009
»
On Multi-agent Petri Net Models for Computing Extensive Finite Games
15 years 11 months ago
Download
nandu.informatik.tu-freiberg.de
Rustam Tagiew
claim paper
Read More »
110
click to vote
APN
2001
Springer
105
views
Artificial Intelligence
»
more
APN 2001
»
Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets
15 years 11 months ago
Download
www.letu.edu
Marian V. Iordache, Panos J. Antsaklis
claim paper
Read More »
146
click to vote
APN
2001
Springer
94
views
Artificial Intelligence
»
more
APN 2001
»
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
15 years 11 months ago
Download
www.tcs.hut.fi
Timo Latvala
claim paper
Read More »
106
click to vote
APN
2001
Springer
86
views
Artificial Intelligence
»
more
APN 2001
»
Towards a Notion of Distributed Time for Petri Nets
15 years 11 months ago
Download
www.brics.dk
Mogens Nielsen, Vladimiro Sassone, Jirí Srb...
claim paper
Read More »
« Prev
« First
page 93 / 194
Last »
Next »
